Lecture slides

pdf git v1.12.0

Encodings

Literature

  • M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub (2011). “Challenges in Answer Set Solving”. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Ed. by M. Balduccini and T. Son. Vol. 6565. Lecture Notes in Computer Science. Springer-Verlag, pp. 74–90. pdf