Proof logging/production for Mixed-Integer Programming

Veranstaltungsbeitrag › Vortrag › 2025

Dagstuhl Seminar 25231 – Certifying Algorithms for Automated Reasoning
Leibniz-Zentrum für Informatik Schloss Dagstuhl, 01.06.2025 - 06.06.2025

Kontakt

Ambros.Gleixner@HTW-Berlin.de

Campus Wilhelminenhof

TGS Haus 1a/b, 403

Ostendstraße 25

12459 Berlin