Login / Signup
The Achilles' Heel of QBF.
Carlos Ansótegui
Carla P. Gomes
Bart Selman
Published in:
AAAI (2005)
Keyphrases
</>
quantified boolean formulas
quantified boolean formulae
propositional logic
boolean formula
reasoning tasks
knowledge compilation
decision procedures
conjunctive normal form
databases
genetic algorithm