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

The comparison of different SAT encodings for the problem of search for systems of orthogonal Latin squares

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

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

Авторы: Kochemazov S., Zaikin O., Semenov A.

Журнал: Proc. "MIT-2016": CEUR Workshop Proceedings (Vrnjacka Banja, 28 августа-5 сентября 2016г.)

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

Том: 1839

Номера страниц: 155-165

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

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

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

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

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

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

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

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

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