Zhukov D.V., Zheleznikov D.A., Zapletina M.A. The iterative sat based approach to detailed routing for reconfigurable system-on-a-chip. Proceedings of the 2020 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering, EIConRus 2020. 2020. С. 1905-1910. DOI: 10.1109/EIConRus49466.2020.9038929 Q