Date: | 2019, November 5 |
Time: | 11:00 |
Author: | Adamy, Rick |
Title: | Algorithmische Umsetzung eines graphenbasierten Kalküls zum Lösen des 3SAT-Problems |
Zum Lösen des 3SAT-Problemes gibt es bereits diverse Algorithmen, bspw. der DP/DPLL oder das Branch & Bound Verfahren für ILP's. In dieser Arbeit wird eine algorithmische Umsetzung eines alternativen, graphenbasierten, Kalküls konzipiert um anschließend dessen Vollständigkeit mithilfe einer Implementierung experimentell prüfen zu können.