Автор Чухарев Константин Игоревич Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 2 ( март-апрель )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

Чухарев Константин Игоревич

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: программист
E-mail: kchukharev@itmo.ru
ORCID: 0000-0002-4636-2379

Чухарев К. И.

ПРИМЕНЕНИЕ ИНКРЕМЕНТАЛЬНЫХ SAT-РЕШАТЕЛЕЙ ДЛЯ РЕШЕНИЯ NP-ТРУДНЫХ ЗАДАЧ НА ПРИМЕРЕ ЗАДАЧИ СИНТЕЗА МИНИМАЛЬНЫХ БУЛЕВЫХ ФОРМУЛ

Статья опубликована в выпуске №6, том 20, 2020

Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.