Analysis and Solving SAT and MAX-SAT Problems Using an L-partition Approach. - Alexander A. Kolokolov; Alexander Adelshin; Darya Yagofarova (J. Math. Model. Algorithms Oper. Res., 2013)

Discrete Optimization Models for Solving Complex Products Design Problems. - Alexander A. Kolokolov; Alexandra Artemova; Alexander Adelshin; Irina Kan (DOOR (Supplement), 2016)