ML Anthology

Neumann, André

1 publications

IJCAI 2007 Conflict-Driven Answer Set Solving Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub