Bounded Universal Expansion for Preprocessing QBF.

Uwe Bubeck, Hans Kleine Bning

Browse the full SAT paper archive.