EvoCut: Intelligente Evolutionäre Sprachmodelle verbessern Ganzzahlprogramme
Ganzzahlprogramme (Integer Programming) sind das Herzstück vieler wichtiger kombinatorischer Optimierungsaufgaben, bleiben jedoch wegen ihrer NP‑schweren Natur ein großes Problem. Ein bewährter Ansatz zur Beschleunigung dieser Programme ist das manuelle Entwerfen von „Acceleration Cuts“ – speziellen Ungleichungen, die die Leistung von Solver*innen deutlich steigern. Dieser kreative Prozess erfordert jedoch tiefgehendes Fachwissen und ist bislang nicht automatisiert.