Stepan Kochemazov (Preferred)
Stepan Kochemazov
Researcher, ITMO University
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)
, ****@itmo.ru
Personal Links
Education & Career History
Researcher
ITMO University (itmo.ru)
2020 – 2024
Researcher
Matrosov Institute for System Dynamics and Control Theory, Siberian Branch of the Russian Academy of Sciences (ISDCT SB RAS) (icc.ru)
2011 – 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 – 2024
SAT solvers, SAT heuristics, solvers and tools
2007 – 2024