BlynovI. PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. ITE 2012, 078-082.