Integrating Cardinality Constraints into Constraint Logic Programming with Sets.
Maximiliano CristiáGianfranco RossiPublished in: Theory Pract. Log. Program. (2023)
Keyphrases
- constraint logic programming
- cardinality constraints
- constraint solving
- logic programming
- answer set programming
- boolean algebra
- constraint programming
- closed sets
- constraint propagation
- global constraints
- functional dependencies
- constraint query languages
- entity relationship
- inference rules
- temporal reasoning
- deductive databases
- design process
- search algorithm
- high level