Vorverarbeitung für Pseudo Boolean Probleme

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Vorverarbeitung für Pseudo Boolean Probleme

Thema nicht mehr verfügbar

•   Betreuer Norbert Manthey
•   Beginn

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.