Extending the Smodels System with Cardinality and Weight Constraints


Ilkka Niemelä and Patrik Simons. Extending the Smodels system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence, chapter 21, pages 491–521. Kluwer Academic Publishers, 2000.

Suggested BibTeX entry:

    author = {Ilkka Niemel{\"a} and Patrik Simons},
    booktitle = {Logic-Based Artificial Intelligence},
    chapter = {21},
    editor = {Jack Minker},
    pages = {491--521},
    publisher = {Kluwer Academic Publishers},
    title = {Extending the {Smodels} System with Cardinality and Weight Constraints},
    year = {2000},

This work is not available online here.