Login / Signup
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.
Alessandro Armando
Luca Compagna
Silvio Ranise
Published 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