Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten SAT race 2015. (English) Zbl 1392.68381 Artif. Intell. 241, 45-65 (2016). MSC: 68T20 PDFBibTeX XMLCite \textit{T. Balyo} et al., Artif. Intell. 241, 45--65 (2016; Zbl 1392.68381) Full Text: DOI
Balyo, Tomáš; Lonsing, Florian HordeQBF: a modular and massively parallel QBF solver. (English) Zbl 1475.68429 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, 531-538 (2016). MSC: 68V15 68T20 PDFBibTeX XMLCite \textit{T. Balyo} and \textit{F. Lonsing}, Lect. Notes Comput. Sci. 9710, 531--538 (2016; Zbl 1475.68429) Full Text: DOI arXiv