Thema3501: Unterschied zwischen den Versionen

Version vom 3. April 2017, 08:25 Uhr

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. }}

@@ Zeile 11: / Zeile 11: @@
 |Abgabe=2017/03/22
 |Ergebnisse=Richter-Präprozessortechniken PB.pdf
-|Beschreibung EN=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.
 }}
 w_i, k</math> sind ganze