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

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02846-5_23 ◽

2009 ◽

pp. 250-264 ◽

Cited By ~ 9

Author(s):

Martin Gebser ◽

Roland Kaminski ◽

Benjamin Kaufmann ◽

Torsten Schaub

Download Full-text