Visited the MIAO group for 3 months
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)