Sign in

Boosting Verification by Automatic Tuning of Decision Procedures.

Frank HutterDomagoj BabicHolger H. HoosAlan 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