A parallel portfolio SAT solver with lockless physical clause sharing

DSpace Repository

Show simple item record

dc.contributor.author Kottler, Stephan de_DE
dc.contributor.author Kaufmann, Michael de_DE
dc.date.accessioned 2011-03-30 de_DE
dc.date.accessioned 2014-03-18T10:22:43Z
dc.date.available 2011-03-30 de_DE
dc.date.available 2014-03-18T10:22:43Z
dc.date.issued 2011 de_DE
dc.identifier.other 339538910 de_DE
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-55511 de_DE
dc.identifier.uri http://hdl.handle.net/10900/49522
dc.description.abstract Since multi-core architectures have become well-established the enquiry for parallel SAT solvers has drastically increased. Meanwhile, several successful SAT solvers have been presented that can be run in parallel mode. However, there are only a few solvers that use the shared memory architectures for physical clause sharing. In this paper we present a parallel SAT solver that allows for sharing clauses between several threads logically and physically. Yet any thread is still able to keep its own set of clauses. We show how physical clause sharing can be used to propagate one thread's improvements on the clause database to all solving threads. Despite the extensive sharing of data our solver does not require any operating system lock. en
dc.language.iso en de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podok de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en en
dc.subject.classification Multithreading , Erfüllbarkeitsproblem de_DE
dc.subject.ddc 004 de_DE
dc.subject.other SAT , Parallel de_DE
dc.subject.other SAT on multi-core , Algorithm engineering , Portfolio SAT solving en
dc.title A parallel portfolio SAT solver with lockless physical clause sharing en
dc.type Report de_DE
dc.date.updated 2012-10-11 de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
dcterms.DCMIType Text de_DE
utue.publikation.typ report de_DE
utue.opus.id 5551 de_DE
utue.opus.portal wsi de_DE
utue.opus.portalzaehlung 2011.02000 de_DE
utue.publikation.source WSI ; 2011 ; 2 de_DE
utue.publikation.reihenname WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik de_DE
utue.publikation.zsausgabe 2011, 2
utue.publikation.erstkatid 2919855-0

Dateien:

This item appears in the following Collection(s)

Show simple item record