Login / Signup
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.
Luca Pulina
Armando Tacchella
Published in:
FroCoS (2009)
Keyphrases
</>
search algorithm
quantified boolean formulas
learning algorithm
search space
orders of magnitude
inductive inference
machine learning
simulated annealing