Visits

Visited the Foundations of Artificial Intelligence (FAI) Group, led by Jörg Hoffmann, for 3 days.

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 Trimming Pseudeo-Boolean Proofs Berhan Oumer Adame, Bart Bogaerts, Benjamin Bogø, Simon Dold, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, and Mark Turnbull (FMCAD26). (PDF)

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)

Visited the Mathematical Insights into Algorithms for Optimization (MIAO) Group, led by Jakob Nordström, for 3 months.

This collaboration actively contributed to the paper Pseudo-Boolean Proof Logging for Optimal Classical Planning Simon Dold, Malte Helmert, Jakob Nordström, Gabriele Röger and Tanja Schindler (ICAPS25). (PDF)