Login / Signup

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

Enrico GiunchigliaMassimo NarizzanoArmando Tacchella
Published in: J. Artif. Intell. Res. (2006)
Keyphrases
  • machine learning
  • reinforcement learning
  • search space
  • learning algorithm
  • special case
  • first order logic
  • quantified boolean formulas