Авторами был выбран подход на основе двоичных диаграмм решений ( ДДР , Binary Decision Diagram ) ,
ДДР - это структура данных , хорошо зарекомендовавшая себя на практике в области верификации аппаратных средств ,
Авторами был выбран подход на основе двоичных диаграмм решений ( ДДР , Binary Decision Diagram ) , поскольку авторы ведут исследования в области применения ДДР для логического вывода [ 1-3 ] .
ДДР - это структура данных , хорошо зарекомендовавшая себя на практике в области верификации аппаратных средств , позволяющая выполнять манипуляции над булевыми формулами .