Login / Signup
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.
Enrico Giunchiglia
Massimo Narizzano
Armando Tacchella
Published in:
AI*IA (2001)
Keyphrases
</>
quantified boolean formulas
reasoning tasks
orders of magnitude
machine learning
computational complexity
search strategies