Страница публикации

Использование дубликатов конфликтных ограничений для ускорения CDCL-вывода

Тип публикации: Материал конференции

Тип материала: Текст

Авторы: Кочемазов С.Е., Заикин О.С., Кондратьев В.С., Семенов А.А.

Журнал: Материалы конф. "Ляпуновские чтения"

Язык публикации: russian

Номера страниц: 62

Количество страниц: 1

Год публикации: 2019

Отчетный год: 2019

Издательство: ИДСТУ СО РАН

Местоположение издательства: Иркутск

Адрес издателя: Иркутск

Название издательства: ИДСТУ СО РАН

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет