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

On Tackling the Limits of Resolution in SAT Solving

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

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

Авторы: Ignatiev A., Morgado A., Marques-Silva J.

Журнал: Lecture Notes in Computer Science

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

Том: 10491

Номера страниц: 164-183

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

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

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

DOI: 10.1007/978-3-319-66263-3_11

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

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

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

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

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

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