Refine your search
Availability
-
Bibliographic level
-
Authors
- Провкин, Виктор Алексеевич [x]
- Матросова, Анжела Юрьевна (3)
-
Topics
- ROBDD-графы [x]
- комбинационные логические схемы (2)
- SAT-решатели (1)
- КНФ разрешения (1)
- Хэмминга расстояние (1)
- алгоритмы построения (1)
- булевы функции (1)
- диагностика (1)
- дискретные устройства (1)
- комбинационные схемы (1)
- обфускация (1)
- Show more
- Show less