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)