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

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:

Аннотация:

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

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

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

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

Добавил в систему: