Recovering and Utilizing Partial Duality in QBF.

Alexandra Goultiaeva, Fahiem Bacchus

Browse the full SAT paper archive.