Jekyll2026-08-27T16:28:41+00:00https://www.ksidorov.com/feed/news.xmlKonstantin Sidorov | NewsA website where I share my research and sometimes produce hot takes on the optimization field. Our paper is published in JAIR2026-08-27T00:00:00+00:002026-08-27T00:00:00+00:00https://www.ksidorov.com/news/jair-proof-minimizationOur paper “How to Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability,” co-authored with Koos van der Linden, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, and Emir Demirović, has been published in the Journal of Artificial Intelligence Research! You may also be interested to read an accompanying post for a more accessible overview of the ideas we introduce.

]]>Two papers are accepted at CP 20262026-06-14T00:00:00+00:002026-06-14T00:00:00+00:00https://www.ksidorov.com/news/cp2026-acceptI co-authored two papers accepted in CP 2026: my paper “On Inferring Cumulative Constraints” about improving CP scheduling with deriving hidden resource constraints using lifting, and the paper “Formally Verified Certification of Constraint Programming Proofs,” co-authored with Maarten Flippo, Tip ten Brink, Clément Pit-Claudel, and Emir Demirović. For the former, you may be interested to read an accompanying post for a more accessible overview of the ideas I introduce.

]]>Thomas Kuiper defended his MSc thesis!2025-12-08T00:00:00+00:002025-12-08T00:00:00+00:00https://www.ksidorov.com/news/thomas-kuiper-defenseThomas Kuiper defended his MSc thesis on inferring local structure for the predict-and-optimize loss functions.

]]>Our paper is accepted at CP 20252025-06-15T00:00:00+00:002025-06-15T00:00:00+00:00https://www.ksidorov.com/news/cp2025-acceptOur paper “Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems,” co-authored with Imko Marijnissen and Emir Demirović, has been accepted to CP 2025! You may also be interested to read an accompanying post for a more accessible overview of the ideas we introduce.

]]>Jop Schaap defended his MSc thesis!2025-01-29T00:00:00+00:002025-01-29T00:00:00+00:00https://www.ksidorov.com/news/jop-schaap-defenseJop Schaap defended his MSc thesis on using decision diagrams for predict-and-optimize problems.

]]>Thomas Kuiper joins our group2024-11-14T00:00:00+00:002024-11-14T00:00:00+00:00https://www.ksidorov.com/news/po-lossesI have started to supervise the project on quantifying the structures captured by the predict-and-optimize loss functions by Thomas Kuiper.

]]>Proof minimization preprint2024-11-13T00:00:00+00:002024-11-13T00:00:00+00:00https://www.ksidorov.com/news/proof-minimization-arxivWe have released the preprint version of our work on discovering the shortest resolution proofs of the unsatisfiability of Boolean formulas.

]]>CP 20242024-09-06T00:00:00+00:002024-09-06T00:00:00+00:00https://www.ksidorov.com/news/cp2024I 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.

]]>