Rewrite-Based Satisfiability Procedures for Recursive Data Structures.
Maria Paola BonacinaMnacho EchenimPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- data structure
- propositional logic
- recursive algorithm
- decision procedures
- satisfiability problem
- efficient data structures
- phase transition
- np complete
- orders of magnitude
- data types
- algorithms and data structures
- database operations
- symmetry breaking
- query rewriting
- suffix tree
- database
- query optimization
- search space
- relational databases
- computational complexity
- database systems
- genetic algorithm
- databases