Extended Failed-Literal Preprocessing for Quantified Boolean Formulas.

Allen Van Gelder, Samuel B. Wood, Florian Lonsing

Browse the full SAT paper archive.