A Non-prenex, Non-clausal QBF Solver with Game-State Learning.

William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke

Browse the full SAT paper archive.