Thema3501: Unterschied zwischen den Versionen

Version vom 3. April 2017, 08:26 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

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 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 DE=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.
+|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