Login / Signup
Improvements to the Evaluation of Quantified Boolean Formulae.
Jussi Rintanen
Published in:
IJCAI (1999)
Keyphrases
</>
quantified boolean formulae
propositional logic
learning algorithm
lower bound
orders of magnitude
first order logic