SAT solvers application of deriving all test pairs detecting robust testable PDFs - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
980 144

Репозиториев:
30

Авторов:
596 024

расширенный поиск

SAT solvers application of deriving all test pairs detecting robust testable PDFs

Matrosova, Anzhela Yu., Andreeva, V. V., Tychinskiy, V. Z.

Дата публикации: 2021

Дата публикации в реестре: 2022-10-06T22:38:15Z

Аннотация:

Ключевые слова:
SAT решатели, тестовые пары, тестируемые PDF-файлы

Тип: статьи в сборниках

Источник: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 252-255

Связанные документы (рекомендация CORE)