Publikationsdienste
→
TOBIAS-portale
→
Dokumente aus Instituten und Partnereinrichtungen
→
WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik
→
Auflistung WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik nach Autor

Auflistung WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik nach Autor "Kottler, Stephan"

Anzeige der Dokumente 1-1 von 1

A parallel portfolio SAT solver with lockless physical clause sharing

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

Anzeige der Dokumente 1-1 von 1

Veröffentlichen

Stöbern

Gesamter Bestand
Diese Sammlung

Mein Benutzerkonto

Einloggen