@inproceedings{DBLP:conf/iclp/GebserKKS09, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten}, title = {On the Implementation of Weight Constraint Rules in Conflict-Driven {ASP} Solvers}, booktitle = {{ICLP}}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {250--264}, publisher = {Springer}, year = {2009} }