KIT | KIT-Bibliothek | Impressum | Datenschutz

Parallel Satisfiability

Balyo, Tomáš 1; Sinz, Carsten 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-63516-3_1
Scopus
Zitationen: 13
Dimensions
Zitationen: 11
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page