HordeQBF: A Modular and Massively Parallel QBF Solver
| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2016 |
| Sprache | Englisch |
| Identifikator | 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 |
| Seiten | 531–538 |
| Serie | Lecture Notes in Computer Science ; 9710 |
| Nachgewiesen in | Scopus Dimensions |