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

Progression in Maximum Satisfiability

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

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

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

Журнал: Frontiers in Artificial Intelligence and Applications

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

Том: 263

Номера страниц: 453-458

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

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

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

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

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

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

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

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

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