Efficient algorithms for the transformation between different types of binary decision diagrams
مقال من تأليف: Savicky, P. ; Wegener, I. ;
ملخص: The problem of transforming an FBDD (free binary decision diagram) P on n variables or a &pgr;
لغة:
إنجليزية