Extending the smodels system with cardinality and weight constraints (2000)

by P Simons
Venue:In: Logic-Based Artificial Intelligence, Kluwer Academic Publishers