Conflict-driven answer set enumeration

Aboriginal and Torres Strait Islander Peoples are advised the Griffith Research Online collection may contain images, voices and names of people who are deceased. Some language and materials may be considered inappropriate, reflecting the views of the period in which it was produced. While this language has been retained to preserve historical context, these are not the views of Griffith University.

Conflict-driven answer set enumeration

Author(s)

Gebser, Martin
Kaufmann, Benjamin
Neumann, Andre
Schaub, Torsten

Griffith University Author(s)

Schaub, Torsten

Date

2007

Journal Title

Lecture Notes in Computer science

Volume

4483

Persistent link to this record

http://hdl.handle.net/10072/19005

Collections

Journal articles