DMCA

Conflict-Driven Answer Set Solving: From Theory to Practice (2012)

by Martin Gebser , Benjamin Kaufmann , Torsten Schaub
Citations:36 - 10 self