| layout | inline | related_posts | title |
|---|---|---|---|
post |
true |
false |
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]({{ '/blog/2024/cp2024/' | relative_url }}) for a more detailed overview of some of the noteworthy talks.