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