Страница публикации
О стратегиях переключения между фазами в современных алго-ритмах решения проблемы булевой выполнимости
Авторы: Кочемазов С.Е.
Журнал: Материалы конф. “Ляпуновские чтения” (Иркутск, 6–10 декабря 2021 г.)
Том:
Номер:
Год: 2021
Отчётный год: 2021
Издательство: ИДСТУ СО РАН
Местоположение издательства: Иркутск
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: