Organization of Information Support for a Bioengineering System of Emotional Response Research. - Natalya Filatova; Natalya Bodrina; Konstantin Sidorov; Pavel Shemaev (DAMDID/RCDL, 2018)

EMG and EEG Pattern Analysis for Monitoring Human Cognitive Activity during Emotional Stimulation. - Konstantin Sidorov; Natalya Bodrina; Natalya Filatova (DAMDID/RCDL (Selected Papers), 2020)

A review of approaches to modeling applied vehicle routing problems. - Konstantin Sidorov; Alexander Morozov (CoRR, 2021)

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 (AAAI, 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 (CP, 2024)

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. - Maarten Flippo; Konstantin Sidorov; Imko Marijnissen; Jeff Smits; Emir Demirovic (CP, 2024)

How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization. - Konstantin Sidorov; Koos van der Linden; Gonçalo Homem de Almeida Correia; Mathijs de Weerdt; Emir Demirovic (CoRR, 2024)

Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems. - Konstantin Sidorov; Imko Marijnissen; Emir Demirovic (CP, 2025)