Login / Signup

Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.

Predrag JanicicAlan 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