Präprozessortechniken für Pseudo-Boolean-Constraints
Präprozessortechniken für Pseudo-Boolean-Constraints
Studienarbeit von Timo Richter
- Betreuer Steffen Hölldobler, Peter Steinke
- Wissensverarbeitung
- 07. November 2016 – 22. März 2017
- Download
w_i, k</math> sind ganze Zahlen und <math>x_i</math> Literale. -->
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. }} w_i, k</math> sind ganze Zahlen und <math>x_i</math> Literale.-->
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. }} w_i, k</math> sind ganze Zahlen und <math>x_i</math> Literale.-->
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. }}
