SAT Solving mit GPU Unterstützung

zum Volltext (1040 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Juni 2012
Seitenbereich47 S.

Vorgestellt wird eine Implementierung des Survey Propagation Algorithmus (SP) auf einer GPU mit CUDA, sowie ein SAT Solver auf Basis von Mini- SAT, der SP als zusätzliche Heuristik verwendet, um zufällige k-SAT Probleme schneller lösen zu können.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000044
 
URN:NBNurn:nbn:de:101:1-2012062210511
IDNummer des Berichts :
  • TR_1207