Login / Signup

An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.

Enrico GiunchigliaMassimo NarizzanoArmando Tacchella
Published in: AI*IA (2001)
Keyphrases
  • quantified boolean formulas
  • reasoning tasks
  • orders of magnitude
  • machine learning
  • computational complexity
  • search strategies