Solving QBF Instances with Nested SAT Solvers.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Browse the full AAAI paper archive.