Perfect Hashing and CNF Encodings of Cardinality Constraints.
Yael Ben-HaimAlexander IvriiOded MargalitArie MatsliahPublished in: SAT (2012)
Keyphrases
- cardinality constraints
- boolean algebra
- sat instances
- functional dependencies
- sat encodings
- entity relationship
- constraint query languages
- integrity constraints
- database schema
- sat solvers
- data structure
- linear programming
- closed sets
- knowledge base
- deductive databases
- sat problem
- expressive power
- domain specific
- relational databases
- high dimensional