<--Previous  Up  Next-->



QBF

Quantified Boolean Formulae provide more concise expressions than (exponential) expansion into propositional logic.