ДДР - это структура данных , хорошо зарекомендовавшая себя на практике в области верификации аппаратных средств ,
Компактность и эффективность операций над ДДР может быть использована для представления отношений и быстрого логического вывода [ 4-6 ] .
ДДР - это структура данных , хорошо зарекомендовавшая себя на практике в области верификации аппаратных средств , позволяющая выполнять манипуляции над булевыми формулами .
Компактность и эффективность операций над ДДР может быть использована для представления отношений и быстрого логического вывода [ 4-6 ] .