Constraint Answer Set Solving.

Martin Gebser, Max Ostrowski, Torsten Schaub

Browse the full ICLP paper archive.