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
</>
Alexander A. Kolokolov
,
Alexandra Artemova
,
Alexander Adelshin
,
Irina Kan
Discrete Optimization Models for Solving Complex Products Design Problems.
DOOR (Supplement)
(2016)
Alexander A. Kolokolov
,
Alexander Adelshin
,
Darya Yagofarova
Analysis and Solving SAT and MAX-SAT Problems Using an L-partition Approach.
J. Math. Model. Algorithms Oper. Res.
12 (2) (2013)