Blynov I. PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. ITE [nternet]. 2012 May 30 [cited 2026 Aug. 5];(11):078-82. vailable from: https://ite.kspu.edu/index.php/ite/article/view/406