Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas

Enrico Giunchiglia Massimo Narizzano Armando Tacchella

Published in: CoRR (2011)

Keyphrases

reinforcement learning
learning algorithm
lower bound
search space
search strategy