Minimal False Quantified Boolean Formulas.

Hans Kleine Bning, Xishun Zhao

Browse the full SAT paper archive.