Thema3501: Unterschied zwischen den Versionen
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 13: | Zeile 13: | ||
|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. | |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. | ||
<!-- <math>k</math> eingeschränkt: <math>\sum_i^n w_i x_i \circ k</math>, mit <math>\circ \in {=, >, <, \leq, \geq}</math> und <math}w_i, k</math> sind ganze | <!-- <math>k</math> eingeschränkt: <math>\sum_i^n w_i x_i \circ k</math>, mit <math>\circ \in {=, >, <, \leq, \geq}</math> und <math}w_i, k</math> sind ganze | ||
Zahlen und <math>x_i</math> Literale.--> | 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. | 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. | |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. | ||
<!-- <math>k</math> eingeschränkt: <math>\sum_i^n w_i x_i \circ k</math>, mit <math>\circ \in {=, >, <, \leq, \geq}</math> und <math}w_i, k</math> sind ganze | <!-- <math>k</math> eingeschränkt: <math>\sum_i^n w_i x_i \circ k</math>, mit <math>\circ \in {=, >, <, \leq, \geq}</math> und <math}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.--> | Zahlen und <math>x_i</math> Literale.--> | ||
Version vom 3. April 2017, 08:11 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
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. }}
