Blynov I. PROPAGATION-BASED CONSTRAINT SOLVER IN IMS. ITE [Internet]. 2012 May 30 [cited 2024 Nov. 28];(11):078-82. Available from: https://ite.kspu.edu/index.php/ite/article/view/406