Thema3417: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Norbert Manthey (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern |Titel EN=Solving Mixed Linear Programs with Pseudo Boole…“) |
Markus Krötzsch (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 4: | Zeile 4: | ||
|Abschlussarbeitstyp=Bachelor, Master, Diplom, Studienarbeit | |Abschlussarbeitstyp=Bachelor, Master, Diplom, Studienarbeit | ||
|Betreuer=Norbert Manthey | |Betreuer=Norbert Manthey | ||
|Abschlussarbeitsstatus=Nicht mehr verfügbar | |||
|Abschlussarbeitsstatus= | |||
|Beschreibung DE=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. | |Beschreibung DE=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. | ||
Aktuelle Version vom 16. April 2021, 21:52 Uhr
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.
