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

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г.)

Том: 1839

Номер:

Год: 2017

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

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

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

URL:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

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