Stepan Kochemazov (Preferred)
Stepan Kochemazov
Researcher, Matrosov Institute for System Dynamics and Control Theory, Siberian Branch of the Russian Academy of Sciences (ISDCT SB RAS)
- Joined June 2024
Names
Emails
****@gmail.com (Confirmed)
, ****@icc.ru (Confirmed)
Personal Links
Career & Education History
Researcher
Matrosov Institute for System Dynamics and Control Theory, Siberian Branch of the Russian Academy of Sciences (ISDCT SB RAS) (icc.ru)
2011 – 2025
Researcher
ITMO University (itmo.ru)
2020 – 2024
PhD student
Matrosov Institute for System Dynamics and Control Theory, Siberian Branch of the Russian Academy of Sciences (ISDCT SB RAS) (icc.ru)
2007 – 2011
Advisors, Relations & Conflicts
Expertise
Constraints and satisfiability, SAT
2020 – 2025
SAT solvers, SAT heuristics, solvers and tools
2007 – 2025