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

On Incremental Core-Guided MaxSAT Solving

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

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

Авторы: Si X., Zhang X., Manquinho V., Janota N., Ignatiev A., Naik M.

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

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

Том: 9892

Номера страниц: 473-482

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

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

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

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

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

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

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

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

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