Exploiting Functional Dependencies of Variables in All Solutions SAT Solvers.
Takahisa TodaTakeru InouePublished in: J. Inf. Process. (2017)
Keyphrases
- functional dependencies
- sat solvers
- cardinality constraints
- relational databases
- normal form
- database design
- integrity constraints
- conflict free
- propositional satisfiability
- database schemes
- boolean formula
- inclusion dependencies
- orders of magnitude
- constraint satisfaction
- search space
- search strategies
- max sat
- sat problem
- sat instances
- clause learning
- data dependencies
- object oriented
- xml documents
- lower bound
- databases
- approximate functional dependencies
- satisfiability problem
- user defined
- database applications
- knowledge base