Extending the Smodels System with Cardinality and Weight Constraints (2000)

AUTHORS:

Niemelä Ilkka , Simons Patrik

  • BOOKTITLE:
  • PAGES:
  • 491-521