TU Bergakademie Freiberg |
Fakultät für Mathematik und Informatik
|
2. Workshop Boolsche Probleme |
This page in English
Methoden und Werkzeuge für Pseudo-Boolesche Probleme
Alexander Bockmayr, Peter Barth , Thomas Kasper
Zusammenfassung
Pseudo-Boolesche Probleme sind eine Verallgemeinerung Boolescher Probleme
und kombinieren Boolesche Algebra mit Arithmetik.
Ein pseudo-Boolesches Problem besteht aus Gleichungen oder Ungleichungen
zwischen ganzzahligen Polynomen in 0-1 Variablen.
Wir beschreiben Methoden und Werkzeuge zum Lösen pseudo-Boolescher
Probleme, die auf Techniken aus dem automatischen Beweisen und dem
Operations Research beruhen.
Die Grundidee besteht darin, starke gültige Ungleichungen
für die zugrundeliegende Menge von 0-1 Vektoren zu berechnen.
Inhalt:/ Content: Institut für Informatik
TU Bergakademie Freiberg
Gestaltung/ Layout: Webmaster
19. Februar 1997