Logo des Repositoriums
 

A distributed SAT solver for microcontroller

Kurzanzeige
dc.contributor.authorSchubert, Tobias
dc.contributor.authorBecker, Bernd
dc.contributor.editorBrinkschulte, Uwe
dc.contributor.editorBecker, Jürgen
dc.contributor.editorFey, Dietmar
dc.contributor.editorGroßpietsch, Karl-Erwin
dc.contributor.editorHochberger, Christian
dc.contributor.editorMaehle, Erik
dc.contributor.editorRunkler, Thomas A.
dc.date.accessioned2019-10-30T11:53:43Z
dc.date.available2019-10-30T11:53:43Z
dc.date.issued2004
dc.description.abstractIn this paper we present a parallel prover for the propositional satisfiability problem called PICHAFF. The algorithm is an adaption of the state-of-the-art solver CHAFF optimised for our scalable, dynamically reconfigurable multiprocessor system based on Microchip PIC microcontroller. Like usually in modern SAT solvers it includes lazy clause evaluation, conflict-driven learning, non-chronological backtracking, and clause deletion. A simple but efficient technique called Dynamic Search Space Partitioning is used for dividing the search space into disjoint portions to be treated in parallel by up to 9 processors. Besides explaining of how such a complex algorithm could be implemented on simple microcontroller we also give experimental results demonstrating the potential of the implemented methods.en
dc.identifier.isbn3-88579-370-9
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/29385
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofARCS 2004 – Organic and pervasive computing
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-41
dc.titleA distributed SAT solver for microcontrolleren
dc.typeText/Conference Paper
gi.citation.endPage347
gi.citation.publisherPlaceBonn
gi.citation.startPage338
gi.conference.dateMarch 26, 2004
gi.conference.locationAugsburg
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.41-36.pdf
Größe:
186.09 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P041 - ARCS 2004 - Organic and Pervasive Computing