Konstantin Sidorov

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Spinal Cord Injury

Routing Problem

Human Cognitive

Top Venues

DAMDID/RCDL (Selected Papers)

Publications

Konstantin Sidorov, Gonçalo Homem De Almeida Correia, Mathijs de Weerdt, Emir Demirovic
Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. AAAI (2024)
Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. CP (2024)
Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. CP (2024)
Konstantin Sidorov, Alexander Morozov
A review of approaches to modeling applied vehicle routing problems. CoRR (2021)
Konstantin Sidorov, Natalya Bodrina, Natalya Filatova
EMG and EEG Pattern Analysis for Monitoring Human Cognitive Activity during Emotional Stimulation. DAMDID/RCDL (Selected Papers) (2020)
Natalya Filatova, Natalya Bodrina, Konstantin Sidorov, Pavel Shemaev
Organization of Information Support for a Bioengineering System of Emotional Response Research. DAMDID/RCDL (2018)