KIT | KIT-Bibliothek | Impressum | Datenschutz

Parallel Satisfiability

Balyo, Tomáš; Sinz, Carsten



Originalveröffentlichung
DOI: 10.1007/978-3-319-63516-3_1
Scopus
Zitationen: 2
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, Cham
Seiten 3–29
Vorab online veröffentlicht am 06.04.2018
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page