PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. Journal of Information Technologies in Education (ITE), n. 11, p. 078–082, 30 May2012.