Konstantin Sidorov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | Formally Verified Certification of Constraint Programming Proofs. | Maarten Flippo, Konstantin Sidorov, Tip ten Brink, Clment Pit-Claudel, Emir Demirovic |
| 2026 | CP | On Inferring Cumulative Constraints. | Konstantin Sidorov |
| 2025 | CP | Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems. | Konstantin Sidorov, Imko Marijnissen, Emir Demirovic |
| 2024 | AAAI | Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. | Konstantin Sidorov, Gonalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirovic |
| 2024 | CP | Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. | Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordstrm, Andy Oertel, Konstantin Sidorov |
| 2024 | CP | A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. | Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic |