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

Quantified Maximum Satisfiability: a Core-Guided Approach

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

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

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

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

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

Том: 7962 LNCS

Номера страниц: 250-266

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

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

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

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

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

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

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

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

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