SAT Solving mit GPU Unterstützung

dc.contributor.author	Sieweck, Philipp	de
dc.date.accessioned	2012-06-20	de
dc.date.accessioned	2016-03-31T07:59:39Z
dc.date.available	2012-06-20	de
dc.date.available	2016-03-31T07:59:39Z
dc.date.issued	2012	de
dc.description.abstract	Vorgestellt wird eine Implementierung des Survey Propagation Algorithmus (SP) auf einer GPU mit CUDA, sowie ein SAT Solver auf Basis von MiniSAT, der SP als zusätzliche Heuristik verwendet, um zufällige $k$-SAT Probleme schneller lösen zu können.	de
dc.identifier.other	370603052	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-75028	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/2887
dc.identifier.uri	http://dx.doi.org/10.18419/opus-2870
dc.language.iso	de	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.ddc	004	de
dc.title	SAT Solving mit GPU Unterstützung	de
dc.title.alternative	SAT solving with GPU support	en
dc.type	masterThesis	de
ubs.fakultaet	Fakultät Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Formale Methoden der Informatik	de
ubs.opusid	7502	de
ubs.publikation.typ	Abschlussarbeit (Diplom)	de

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1