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 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)