Parallel Satisfiability
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-319-63515-6 KITopen-ID: 1000120222 |
| Erschienen in | Handbook of Parallel Constraint Reasoning. Ed.: Y. Hamadi |
| Verlag | Springer |
| Seiten | 3–29 |
| Vorab online veröffentlicht am | 06.04.2018 |
| Nachgewiesen in | Scopus Dimensions |