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

William Klieber et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics