$2^3$ Quantified Boolean Formula Games and Their Complexities.

Published in: CoRR (2014)

Keyphrases

boolean formula
sat solvers
conjunctive normal form
np complete
boolean variables
read once formulas
linear constraints
learning algorithm
domain independent
binary decision diagrams