CP 2024

I attended the CP 2024 conference and presented the paper “Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms” co-authored with Emir Demirović, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, and Andy Oertel. I have also presented our current progress on the resolution proof minimization project during the doctoral program.

You may also be interested in my impressions post for a more detailed overview of some of the noteworthy talks.