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

Quantified maximum satisfiability

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

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

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

Журнал: Constraints

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

Том: 21

Номера страниц: 277-302

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

Номер: 2

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

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

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

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

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

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

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

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