The following publications are possibly variants of this publication:
- Bridging the gap between dual propagation and CNF-based QBF solvingAlexandra Goultiaeva, Martina Seidl, Armin Biere. date 2013: 811-814 [doi]
- A Non-prenex, Non-clausal QBF Solver with Game-State LearningWilliam Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke. sat 2010: 128-142 [doi]
- QuAPI: Adding Assumptions to Non-Assuming SAT & QBF SolversMaximilian Heisinger, Martina Seidl, Armin Biere. paar 2022: [doi]
- A Solver for QBFs in Nonprenex FormUwe Egly, Martina Seidl, Stefan Woltran. ecai 2006: 477-481