Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi. Solving QBF Instances with Nested SAT Solvers. In Adnan Darwiche, editor, Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. Volume WS-16-05 of AAAI Workshops, AAAI Press, 2016. [doi]
Abstract is missing.