Logo des Repositoriums
 

Towards Next Generation Sequential and Parallel SAT Solvers

Kurzanzeige
dc.contributor.authorManthey, Norbert
dc.date.accessioned2018-01-08T09:23:21Z
dc.date.available2018-01-08T09:23:21Z
dc.date.issued2016
dc.identifier.pissn1610-1987
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/11548
dc.publisherSpringer
dc.relation.ispartofKI - Künstliche Intelligenz: Vol. 30, No. 0
dc.relation.ispartofseriesKI - Künstliche Intelligenz
dc.subjectFormula rewriting
dc.subjectFormula simplification
dc.subjectParallel search
dc.subjectSAT solving
dc.titleTowards Next Generation Sequential and Parallel SAT Solvers
dc.typeText/Journal Article
gi.citation.endPage342
gi.citation.startPage339

Dateien

Sammlungen

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