Fokin, P. V.     Sympy-ready algorithm for solving sat problems using algebraic approach and zdds [Текст] / P. V. Fokin, Yu. A. Blinkov // International Conference Polynomial Computer Algebra'2016 Russian Academy of Sciences : St. Petersburg Department of Steklov Mathematical Institute, Euler International Mathematical Institute (St. Petersburg, 18-22 апреля 2016 г.). - Санкт-Петербург : Издательство ВВМ, 2016. - PP. 38-39. - Имеется электрон. версия публикации. - URL: https://elibrary.ru/item.asp?id=26437503 (дата обращения: 02.07.2019) . - ISBN 978-5-9651-0976-0 Рубрики: математика ДОКУМЕНТ ПРОСМОТРЕН DE VISU: НЕТ Доп. точки доступа: Blinkov, Yu. A. (д-р физ.-мат. наук, профессор) Блинков, Юрий Анатольевич