Big Data in SAT Solving - Heuristiken von Beweisen lernen
Aus International Center for Computational Logic
Big Data in SAT Solving - Heuristiken von Beweisen lernen
Thema nicht mehr verfügbar
- Betreuer Norbert Manthey
- Wissensverarbeitung
- Beginn
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.
