Logo des Repositoriums
 
Zeitschriftenartikel

Towards Next Generation Sequential and Parallel SAT Solvers

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2016

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Springer

Zusammenfassung

Beschreibung

Manthey, Norbert (2016): Towards Next Generation Sequential and Parallel SAT Solvers. KI - Künstliche Intelligenz: Vol. 30, No. 0. Springer. PISSN: 1610-1987. pp. 339-342

Zitierform

DOI

Tags