Konstantin Sidorov

According to our database, Konstantin Sidorov authored at least 6 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers.

Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms.

Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths.

Konstantin Sidorov, Gonçalo Homem De Almeida Correia, Mathijs de Weerdt, Emir Demirovic

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021

A review of approaches to modeling applied vehicle routing problems.

Konstantin Sidorov, Alexander Morozov

CoRR, 2021

2020

EMG and EEG Pattern Analysis for Monitoring Human Cognitive Activity during Emotional Stimulation.

Konstantin Sidorov, Natalya Bodrina, Natalya Filatova

Proceedings of the Data Analytics and Management in Data Intensive Domains, 2020

2018

Organization of Information Support for a Bioengineering System of Emotional Response Research.

Natalya Filatova, Natalya Bodrina, Konstantin Sidorov, Pavel Shemaev

Proceedings of the Selected Papers of the XX International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2018), 2018