Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.
Alessandro ArmandoLuca CompagnaSilvio RanisePublished in: Mechanizing Mathematical Reasoning (2005)
Keyphrases
- rewrite rules
- decision making
- rewriting rules
- query rewriting
- conjunctive queries
- queries using views
- magic sets
- computational complexity
- decision makers
- datalog programs
- presburger arithmetic
- real time
- rewriting systems
- regular path queries
- decision processes
- iterative procedure
- combining multiple
- evolutionary algorithm
- decision trees
- feature selection
- information systems
- data sets