news
| Nov 14, 2024 | I have started to supervise the project on quantifying the structures captured by the predict-and-optimize loss functions by Thomas Kuiper. |
|---|---|
| Nov 13, 2024 | We have released the preprint version of our work on discovering the shortest resolution proofs of the unsatisfiability of Boolean formulas. |
| Sep 06, 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. |