Thema3501: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sibylle Möhle (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Präprozessortechniken für Pseudo-Boolean-Constraints |Titel EN=Präprozessortechniken für Pseudo-Boolean-Constraints |Vorname=Ti…“) |
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 9: | Zeile 9: | ||
|Abschlussarbeitsstatus=Abgeschlossen | |Abschlussarbeitsstatus=Abgeschlossen | ||
|Beginn=2016/11/07 | |Beginn=2016/11/07 | ||
|Abgabe=2017/03/ | |Abgabe=2017/03/22 | ||
|Ergebnisse=Richter-Präprozessortechniken PB.pdf | |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. | |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. | ||
| Zeile 18: | Zeile 18: | ||
|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.--> | ||
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. | ||
}} | }} | ||
Version vom 30. März 2017, 18:14 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. }}
