The following pages link to Logics in Artificial Intelligence (Q5394124):
Displaying 7 items.
- Extending the Smodels system with cardinality and weight constraints (Q2734950) (← links)
- Incremental Encoding and Solving of Cardinality Constraints (Q3457805) (← links)
- Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (Q3540174) (← links)
- (Q4413450) (← links)
- On logical constraints in logic programming (Q5101440) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424871) (← links)
- Combination of Among and Cardinality Constraints (Q5450939) (← links)