Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
Link opens in a new tab
English
Nederlands
Search content at Research portal Eindhoven University of Technology
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
A proof system for certifying symmetry and optimality reasoning in integer programming
Hojny, C.
(Speaker)
Combinatorial Optimization
Activity
:
Talk or presentation types
›
Invited talk
›
Scientific
Period
1 Dec 2023
Held at
Imperial College London
, United Kingdom
Degree of Recognition
Local