Answer Set Solving with Generalized Learned Constraints.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lhne, Javier Romero, Torsten Schaub

Browse the full ICLP paper archive.