Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik, - Stable model semantics - Document - PDFSEARCH.IO

First Page	Meta Content
	Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik, Add to Reading List Document Date: 2012-05-04 12:04:36 Open Document File Size: 565,70 KB Share Result on Facebook

Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik,Add to Reading List