Präprozessortechniken für Pseudo-Boolean-Constraints
From International Center for Computational Logic
Präprozessortechniken für Pseudo-Boolean-Constraints
project thesis by Timo Richter
- Supervisor Steffen Hölldobler, Peter Steinke
- Wissensverarbeitung
- 7 November 2016 – 22 März 2017
- Download
Pseudo-Boolean (PB) Constraints bilden die Grundlage für viele Formale Problembeschreibungen. Dabei wird die gewichtete Summe von Literalen durch eine Konstante eingeschränkt.
In dieser Belegarbeit soll die Möglichkeit untersucht werden, PB Constraints durch Präprozessortechniken zu vereinfachen, mit dem Ziel, dass die entstanden Constraints schneller von einem SAT-basierten Solver gelöst werden können als ohne Präprozessortechniken.
