Blinkov, Yu. A. (д-р физ.-мат. наук, профессор).     SAT problems solved with ZDD diagrams [Текст] / Yu. A. Blinkov, P. V. Fokin // International Conference "Polynomial Computer Algebra", Saint-Petersburg, April, 2015 year : [abstracts] / Russian acad. of sciences, Saint-Petersburg dep. of Steklov math. inst., Euler intern. math. inst. - Saint-Petersburg : Saint-Petersburg dep. of Steklov math. institute, 2015 . - ISBN 978-5-9651-0901-2 Рубрики: математика ДОКУМЕНТ ПРОСМОТРЕН DE VISU: НЕТ Доп. точки доступа: Fokin, P. V.