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

A parallel SAT solving algorithm based on improved handling of conflict clauses

Тип публикации: Статья в журнале

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

Авторы: Zaikin O.

Журнал: Procedia Computer Science

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

Серия книг: Procedia Computer Science

Том: 119

Номера страниц: 103-111

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

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

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

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

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

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

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

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

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