Login / Signup
Automating the Synthesis of Decision Procedures in a Constructive Metatheory.
Alessandro Armando
Jason Gallagher
Alan Smaill
Alan Bundy
Published in:
Ann. Math. Artif. Intell. (1998)
Keyphrases
</>
decision procedures
modal logic
automated reasoning
theorem proving
conjunctive queries
reasoning problems
satisfiability problem
quantified boolean formulas
tight complexity bounds
theorem prover
data mining
query language
query answering
inference rules