Fokin, P. V. SymPy-ready algorithm for solving SAT problems using algebraic approach and ZDDss [Текст] / 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. - Санкт-Петербург, 2016. - С. 38-39 . - ISBN 978-5-9651-0976-0 Рубрики: математика ДОКУМЕНТ ПРОСМОТРЕН DE VISU: НЕТ Доп. точки доступа: Blinkov, Yu. A. (д-р физ.-мат. наук, профессор) Блинков, Юрий Анатольевич |