PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. ITE 2012, No. 11, 078-082. https://doi.org/10.14308/ite000304.