SAT and CP - parallelisation and applications

Dissertation, Christian-Albrechts-Universität zu Kiel, 2017

Bibliographische Detailangaben

1. Verfasser:	Ehlers, Thorsten (VerfasserIn)
Körperschaft:	Christian-Albrechts-Universität zu Kiel (Grad-verleihende Institution)
Weitere Verfasser:	Nowotka, Dirk (AkademischeR BetreuerIn), Codish, Michael (AkademischeR BetreuerIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kiel Institut für Informatik, Christian-Albrechts-Universität zu Kiel 2017
Schriftenreihe:	Kiel computer science series 2017, 3
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!