Login / Signup
Alexander Adelshin
ORCID
Publication Activity (10 Years)
Years Active: 2013-2016
Publications (10 Years): 1
Top Topics
Sat Problem
Maximum Satisfiability
Discrete Optimization
Random Sat Instances
Top Venues
J. Math. Model. Algorithms Oper. Res.
DOOR (Supplement)
</>
Publications
</>