Binary Clause Reasoning in QBF.

Horst Samulowitz, Fahiem Bacchus

Browse the full SAT paper archive.