Publikationsdienste
→
TOBIAS-lib - Publikationen und Dissertationen
→
Auflistung TOBIAS-lib - Publikationen und Dissertationen nach Autor

Auflistung TOBIAS-lib - Publikationen und Dissertationen nach Autor "Kottler, Stephan"

Anzeige der Dokumente 1-2 von 2

Advanced Methods for SAT Solving

Kottler, Stephan (2012); Dissertation
A parallel portfolio SAT solver with lockless physical clause sharing

Kottler, Stephan; Kaufmann, Michael (2011); Verschiedenartige Texte; WSI ; 2011 ; 2

Anzeige der Dokumente 1-2 von 2

Veröffentlichen

Stöbern

Gesamter Bestand
In diesem Bereich

Mein Benutzerkonto

Einloggen