Knowledge Processing and Information Systems
Answer Set Solving with Generalized Learned Constraints

@inproceedings{DBLP:conf/iclp/GebserKKL0S16,
  title = {Answer Set Solving with Generalized Learned Constraints},
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and L{\"{u}}hne, Patrick and Romero, Javier and Schaub, Torsten},
  booktitle = {{ICLP} (Technical Communications)},
  pages = {9:1--9:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {{OASICS}},
  volume = {52},
  year = {2016}
}