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

Cached

Download Links

by Ilkka Niemelä , Patrik Simons
Venue:Logic-Based Artificial Intelligence
Citations:74 - 9 self