Login / Signup
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.
Predrag Janicic
Alan Bundy
Published in:
Calculemus/MKM (2007)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
data sets
quantified boolean formulas
machine learning
query containment
tight complexity bounds