PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. ITE. 2012;(11):078-082. doi:10.14308/ite000304