P.: Extending the Smodels system with cardinality and weight constraints (2000)

by I Niemelä, Simons
Venue:Logic-Based Artificial Intelligence