Janota, Mikoláš On exponential lower bounds for partially ordered resolution. (English) Zbl 1484.03121 J. Satisf. Boolean Model. Comput. 10(2016-2019), 1-9 (2016). MSC: 03F20 03B35 68T20 68V15 PDFBibTeX XMLCite \textit{M. Janota}, J. Satisf. Boolean Model. Comput. 10, 1--9 (2016; Zbl 1484.03121) Full Text: DOI
Janota, Mikoláš On Q-resolution and CDCL QBF solving. (English) Zbl 1475.68440 Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 402-418 (2016). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Janota}, Lect. Notes Comput. Sci. 9710, 402--418 (2016; Zbl 1475.68440) 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