Conflict-driven answer set enumeration (2007)

Cached

Download Links

by Martin Gebser , Benjamin Kaufmann , André Neumann , Torsten Schaub
Citations:10 - 7 self