Exploiting Circuit Representations in QBF Solving.

Alexandra Goultiaeva, Fahiem Bacchus

Browse the full SAT paper archive.