SAT Solving mit GPU Unterstützung

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-2870

Langanzeige der Metadaten

DC Element	Wert	Sprache
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.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.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.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
Enthalten in den Sammlungen:	05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:

Datei	Beschreibung	Größe	Format
DIP_3289.pdf		995,37 kB	Adobe PDF	Öffnen/Anzeigen

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart