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

Martin Gebser et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics