Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern

Thema nicht mehr verfügbar

•   Betreuer Norbert Manthey
•   Beginn

Industrielle Probleme können in vielen verschiedenen Sprachen beschrieben, und danach mit den entsprechenden Werkzeugen gelöst werden. Eine solche Sprache ist für Mixed Integer Programming gedacht.

In diesem Projekt sollen solche Probleme für Pseudo Boolean Solver übersetzt werden, und anschließend die Leistungsfähigkeit der unterschiedlichen Löser verglichen werden.