Страница публикации
A parallel SAT solving algorithm based on improved handling of conflict clauses
Авторы: Zaikin O.
Журнал: Procedia Computer Science
Том: 119
Номер:
Год: 2017
Отчётный год: 2017
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 1
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: