Solving Satisfiability and Implication Problems in Database Systems.
Sha GuoWei SunMark Allen WeissPublished in: ACM Trans. Database Syst. (1996)
Keyphrases
- database systems
- np complete
- solving problems
- combinatorial optimization
- optimization problems
- functional dependencies
- database
- boolean formula
- solving complex
- practical problems
- convex quadratic programming
- sparse linear systems
- quantified boolean formulas
- sat solving
- reasoning problems
- graph coloring
- integer linear programming
- search heuristics
- propositional logic
- data management
- evolutionary algorithm
- databases