( en | de | ru )

 

Disambiguierung von "Sidorov, Konstantin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths.

, , , und . AAAI, Seite 20794-20802. AAAI Press, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Maxim Sidorov

Konstantin Tympanidis

Konstantin Alexoudis

Konstantin Dimitropulos

Konstantin Tsavachidis

 

Weitere Publikationen von Autoren mit dem selben Namen

A review of approaches to modeling applied vehicle routing problems., und . CoRR, (2021)Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths., , , und . AAAI, Seite 20794-20802. AAAI Press, (2024)Organization of Information Support for a Bioengineering System of Emotional Response Research., , , und . DAMDID/RCDL, Volume 2277 von CEUR Workshop Proceedings, Seite 90-97. CEUR-WS.org, (2018)Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms., , , , , und . CP, Volume 307 von LIPIcs, Seite 9:1-9:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers., , , , und . CP, Volume 307 von LIPIcs, Seite 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)EMG and EEG Pattern Analysis for Monitoring Human Cognitive Activity during Emotional Stimulation., , und . DAMDID/RCDL (Selected Papers), Volume 1427 von Communications in Computer and Information Science, Seite 95-109. Springer, (2020)