Boosting Verification by Automatic Tuning of Decision Procedures.

Frank Hutter Domagoj Babic Holger H. Hoos Alan J. Hu

Published in: FMCAD (2007)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
data mining
machine learning
expert systems