KIT | KIT-Bibliothek | Impressum

HordeQBF: A Modular and Massively Parallel QBF Solver

Balyo, Tomáš; Lonsing, Florian



Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Proceedingsbeitrag
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1007/978-3-319-40970-2_33
ISBN: 978-3-319-40969-6
ISSN: 0302-9743, 1611-3349
KITopen ID: 1000068595
Erschienen in 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016; Bordeaux; France; 5 July 2016 through 8 July 2016. Ed.: N. Creignou
Verlag Springer International Publishing, Cham
Seiten 531–538
Serie Lecture Notes in Computer Science ; 9710
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page