Listing of all the works of the author. Click on the work title to get the full information.

2020
		Жуков Д.В., Железников Д.А., Заплетина М.А. Применение SAT подхода к трассировке блоков коммутации для реконфигурируемых систем на кристалле
		Заплетина М.А., Жуков Д.В., Гаврилов С.В. Методы анализа выполнимости булевых формул для современных задач систем автоматизации проектирования в микроэлектронике
		Zhukov D.V., Zheleznikov D.A., Zapletina M.A. The iterative sat based approach to detailed routing for reconfigurable system-on-a-chip
2021
		Zapletina M.A., Zhukov D.V., Gavrilov S.V. Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics