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

Thema nicht mehr verfügbar
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.