Семко ВВ. A formal description of the search space in the synthesis decisions. PIC [Internet]. 2013 Jun. 1 [cited 2026 Feb. 15];2(42):104-11. Available from: https://jrnl.nau.edu.ua/index.php/PIU/article/view/6479