Экспериментальное исследование решателя MiniSat

по Кидярова, Галина Владимировна
Опубликовано в: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием

К построению тестов для последовательностных схем с использованием системы АВС

по Кидярова, Галина Владимировна
Опубликовано в: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.

Эффективное внутреннее представление дизъюнктов и интервалов для проверки выполнимости КНФ

по Кидярова, Галина Владимировна
Опубликовано в: Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участием

К верификации логических схем на основе временных автоматов

по Кидярова, Галина Владимировна
Опубликовано в: Известия высших учебных заведений. Физика

Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ...

по Кидярова, Галина Владимировна
Опубликовано в: Известия высших учебных заведений. Физика