Login / Signup
23 Quantified Boolean Formula Games and Their Complexities.
Kyle Burke
Published in:
Integers (2015)
Keyphrases
</>
boolean formula
conjunctive normal form
boolean variables
sat solvers
np complete
read once formulas
practical problems
membership queries
quantified boolean formulas
sat instances
boolean functions
linear constraints
binary decision diagrams
sat problem