×

Found 2 Documents (Results 1–2)

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
Full Text: DOI arXiv

Filter Results by …

Document Type

Main Field

all top 3

Software