A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints.
Ignasi AbíoRobert NieuwenhuisAlbert OliverasEnric Rodríguez-CarbonellPublished in: CP (2013)
Keyphrases
- cardinality constraints
- boolean algebra
- quantifier elimination
- constraint query languages
- functional dependencies
- entity relationship
- database schema
- integrity constraints
- constraint databases
- expressive power
- data integration
- information systems
- logic programming
- deductive databases
- linear programming
- inference rules
- data management
- closed sets
- domain specific
- data model
- search space
- high level
- knowledge base