Big Data in SAT Solving - Heuristiken von Beweisen lernen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Big Data in SAT Solving - Heuristiken von Beweisen lernen

Verfügbar als Thema einer Bachelorarbeit, Masterarbeit, Diplomarbeit, Studienarbeit
Während der Suche generieren SAT Solver Unmengen Daten, welche nicht gespeichert und ausgewertet werden. Ein Blick auf den ausgegebenen Beweis eines SAT Solver könnte aber Rückschlüsse zulassen, wie eine schnellere Suche hätte stattfinden können.

In dieser Arbeit sollen SAT Beweise automatisch ausgewertet werden, um daraus neue Heuristiken abzuleiten.