clasp: A conflict-driven answer set solver (2007)

Cached

Download Links

by Martin Gebser , Benjamin Kaufmann , André Neumann , Torsten Schaub
Venue:In LPNMR’07
Citations:63 - 7 self