A proof system for certifying symmetry and optimality reasoning in integer programming

Activiteit: Types gesprekken of presentaties › Genodigd spreker › Wetenschappelijk

Periode1 dec. 2023
Gehouden opImperial College London, Verenigd Koninkrijk
Mate van erkenningLokaal