Login / Signup
Non-CNF QBF Solving with QCIR.
Charles Jordan
Will Klieber
Martina Seidl
Published in:
AAAI Workshop: Beyond NP (2016)
Keyphrases
</>
boolean formula
conjunctive normal form
sat solving
np complete
sat solvers
genetic algorithm
simulated annealing
orders of magnitude
practical problems
sat instances
quantified boolean formulas