KI News: Kurz und klar.

In der Optimierung und im Constraint Programming besteht seit langem der Wunsch, ein Problem in natürlicher Sprache zu beschreiben und automatisch ein effizientes, ausführbares Modell zu erzeugen. Große Sprachmodelle (LLMs) nähern dieses Ziel mit beeindruckenden Ergebnissen an, indem sie Modelle für klassische Benchmarks generieren.

Die vollständigen Ergebnisse des 2025 XCSP3‑Wettbewerbs wurden im Rahmen der 31. Internationalen Konferenz CP'25 veröffentlicht. Das Dokument fasst die Leistungen der teilnehmenden Constraint‑Solver zusammen und liefert wertvolle Einblicke für Forschung und Praxis im Bereich Constraint Programming.

Team Twente hat bei der Integrated Healthcare Timetabling Competition 2024 den dritten Platz belegt. Mit einer hybriden Lösung, die Mixed-Integer-Programming, Constraint-Programming und Simulated-Annealing kombiniert, konnten sie die komplexen Terminierungsaufgaben im Gesundheitswesen effizient lösen.

Ein kürzlich auf arXiv veröffentlichter Beitrag präsentiert ein neues Konzept für Constraint Programming (CP), das die Modellierung von Fahrzeug-Routing-Problemen deutlich vereinfacht. Im Gegensatz zu klassischen Successor‑Modellen, die oft mit optionalen Besuchs­punkten und Einfügeheuristiken kämpfen, nutzt das vorgestellte Modell sogenannte Sequence Variables. Diese ermöglichen die direkte Handhabung von optionalen Stopps und unterstützen Einfügeheuristiken, darunter auch die Large‑Neighborhood‑Search‑Methode.