The following publications are possibly variants of this publication:
- QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF SolvingFlorian Lonsing. jsat, 11(1):211-220, 2019. [doi]
- DepQBF: A Dependency-Aware QBF SolverFlorian Lonsing, Armin Biere. jsat, 7(2-3):71-76, 2010. [doi]
- DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCLFlorian Lonsing, Uwe Egly. cade 2017: 371-384 [doi]
- Incremental QBF SolvingFlorian Lonsing, Uwe Egly. cp 2014: 514-530 [doi]
- Conformant Planning as a Case Study of Incremental QBF SolvingUwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler. AISC 2014: 120-131 [doi]
- Conformant planning as a case study of incremental QBF solvingUwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler. AMAI, 80(1):21-45, 2017. [doi]
- Automated Benchmarking of Incremental SAT and QBF SolversUwe Egly, Florian Lonsing, Johannes Oetsch. lpar 2015: 178-186 [doi]