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

Progression in Maximum Satisfiability

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

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

Том: 263

Номер:

Год: 2014

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

Издательство:

Местоположение издательства:

URL:

Проекты:

DOI: 10.3233/978-1-61499-419-0-603

Аннотация:

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

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

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

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

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

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

Публикация в печати: 0