Beyond CNF: A Circuit-Based QBF Solver. - Alexandra Goultiaeva; Vicki Iverson; Fahiem Bacchus (SAT, 2009)