利用OBDD编码的快速二值图算法

吕关锋1 ,苏开乐2 ,陈清亮3+ ,徐旭东1

Fast Operations on Binary Images Encoded by OBDDs

LV Guanfeng ¹, SU Kaile ², CHEN Qingliang ³⁺, XU Xudong ¹

计算机科学与探索 . 2009, (3): 303 -308 . DOI: 10.3778/j.issn.1673-9418.2009.03.008