Visited the MIAO group for 1 week
Visited the Mathematical Insights into Algorithms for Optimization (MIAO) Group, led by Jakob Nordström, for 1 week.
This collaboration actively contributed to the paper End-to-end Certified Graph Colouring Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordström, Andy Oertel and Yong Kiam Tan (CP26). (PDF)