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

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Browse the full ICLP paper archive.