On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.

Martin Gebser Roland Kaminski Benjamin Kaufmann Torsten Schaub On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. 250-264 2009 ICLP http://dx.doi.org/10.1007/978-3-642-02846-5_23 conf/iclp/2009 db/conf/iclp/iclp2009.html#GebserKKS09