Reference:
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:
@incollection{NS2000:lbai,
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},
}
|