Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Останин С.А.

Национальный исследовательский Томский государственный университет

Листинг всех работ автора. Нажмите на название работы для того, чтобы получить по ней полную информацию.

2020
		Матросова А.Ю., Провкин В.А., Останин С.А. Использование SAT решателей и ROBDD-графов для построения схем, маскирующих логические неисправности и вредоносные подсхемы