Blynov, I. ROPAGATION-ASED ONSTRAINT OLVER N MS. ITE 2012, 078-082.