Publisher
Springer Nature Switzerland
Reference23 articles.
1. Balabanov, V., Jiang, J.H., Janota, M., Widl, M.: Efficient extraction of QBF (counter)models from long-distance resolution proofs. In: Proceedings of AAAI, pp. 3694–3701 (2015)
2. Balabanov, V., Jiang, J.R.: Unified QBF certification and its applications. Formal Methods Syst. Des. 41, 45–65 (2012)
3. Lecture Notes in Computer Science;O Beyersdorff,2016
4. Bjorner, N., Janota, M., Klieber, W.: On conflicts and strategies in QBF. In: LPAR-20 (2015)
5. Lecture Notes in Computer Science;J Blinkhorn,2017