Neues Benchmark für Operations Research: Solver im Loop für Selbstkorrektur
Operations‑Research-Experten debuggen Modelle häufig durch einen iterativen Prozess: sie analysieren irreduzible infeasible Subsystems (IIS), identifizieren Konflikte in den Nebenbedingungen und reparieren die Formulier…