On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 8 - Roland Martin - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 8 Add to Reading List Document Date: 2009-05-18 15:53:03 Open Document File Size: 244,63 KB Share Result on Facebook

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 8Add to Reading List