Leveraging dominators for preprocessing QBF.

Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus

Browse the full DATE paper archive.