Vorverarbeitung für Pseudo Boolean Probleme

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Vorverarbeitung für Pseudo Boolean Probleme

Verfügbar als Thema einer Bachelorarbeit, Masterarbeit, Diplomarbeit, Studienarbeit
Heutige Pseudo Boolean Löser nutzen kaum Vereinfachungstechniken, wie sie von SAT Solvern bekannt sind. In dieser Arbeit sollen verschiedene Ansätze für PB entworfen und implementiert werden, um anschließend festzustellen, ob die Leistungsfähigkeit des Systems sich verbessert hat.