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

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

KI - Künstliche Intelligenz: Vol. 30, No. 0

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

Schlagwörter

Formula rewriting , Formula simplification , Parallel search , SAT solving

Zitierform

DOI

Tags

Sammlungen

Künstliche Intelligenz 30(3+4) - Oktober 2016