Lonsing, Florian; Seidl, Martina; Van Gelder, Allen The QBF Gallery: behind the scenes. (English) Zbl 1357.68209 Artif. Intell. 237, 92-114 (2016). MSC: 68T20 68T15 PDFBibTeX XMLCite \textit{F. Lonsing} et al., Artif. Intell. 237, 92--114 (2016; Zbl 1357.68209) Full Text: DOI arXiv
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao Quantified maximum satisfiability. (English) Zbl 1334.90075 Constraints 21, No. 2, 277-302 (2016). MSC: 90C09 PDFBibTeX XMLCite \textit{A. Ignatiev} et al., Constraints 21, No. 2, 277--302 (2016; Zbl 1334.90075) Full Text: DOI
Janota, Mikoláš; Marques-Silva, Joao Expansion-based QBF solving versus Q-resolution. (English) Zbl 1309.68168 Theor. Comput. Sci. 577, 25-42 (2015). MSC: 68T15 03B35 03F20 PDFBibTeX XMLCite \textit{M. Janota} and \textit{J. Marques-Silva}, Theor. Comput. Sci. 577, 25--42 (2015; Zbl 1309.68168) Full Text: DOI
Balabanov, Valeriy; Jiang, Jie-Hong R. Unified QBF certification and its applications. (English) Zbl 1284.68516 Form. Methods Syst. Des. 41, No. 1, 45-65 (2012). MSC: 68T15 03B35 68T20 68T27 PDFBibTeX XMLCite \textit{V. Balabanov} and \textit{J.-H. R. Jiang}, Form. Methods Syst. Des. 41, No. 1, 45--65 (2012; Zbl 1284.68516) Full Text: DOI
Audemard, Gilles; Saïs, Lakhdar A symbolic search based approach for quantified Boolean formulas. (English) Zbl 1128.68451 Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 16-30 (2005). MSC: 68T20 68T15 PDFBibTeX XMLCite \textit{G. Audemard} and \textit{L. Saïs}, Lect. Notes Comput. Sci. 3569, 16--30 (2005; Zbl 1128.68451) Full Text: DOI