Clauses Versus Gates in CEGAR-Based 2QBF Solving.

Valeriy Balabanov Jie-Hong Roland Jiang Alan Mishchenko Christoph Scholl

Published in: AAAI Workshop: Beyond NP (2016)

Keyphrases

boolean formula
first order logic
conjunctive normal form
search space
quantified boolean formulas
computational complexity
simulated annealing
orders of magnitude
sat solvers