Login / Signup
Ilya V. Otpuschennikov
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 11
Top Topics
Decision Diagrams
Propositional Satisfiability
Sat Solvers
Evolutionary Optimization
Top Venues
CoRR
MIPRO
MOTOR
Autom. Remote. Control.
</>
Publications
</>