Konstantin Sidorov (Preferred)
Konstantin Sidorov
PhD student, EEMCS, Delft University of Technology
Joined
March 2025
Names
Emails
****@tudelft.nl (Confirmed)
Personal Links
Career & Education History
PhD student
EEMCS, Delft University of Technology (tudelft.nl)
2023 – 2028
MS student
Phystech School of Applied Mathematics and Computer Science, Moscow Institute of Physics and Technology (mipt.ru)
2020 – 2022
Undergrad student
Faculty of Mathematics and Information Technologies, Astrakhan State University (asu-edu.ru)
2016 – 2020
Advisors, Relations & Conflicts
Expertise
combinatorial optimization
Present
integer programming
Present
SAT
Present
constraint programming
Present
proof logging
Present
proof complexity
Present
Publications
No publications