Mod-2-OBDDs—A data structure that generalizes EXOR-sum-of-products and ordered binary decision diagrams
1996 ◽
Vol 8
(3)
◽
pp. 273-282
◽
2015 ◽
Vol 59
(3)
◽
pp. 532-559
◽
1993 ◽
Vol 03
(01)
◽
pp. 3-12
◽
2000 ◽
Vol 103
(1-3)
◽
pp. 237-258
◽
2010 ◽
Vol 7
(1)
◽
pp. 35-58
◽
1999 ◽
Vol 09
(03n04)
◽
pp. 181-198
◽
2006 ◽
Vol 98
(1)
◽
pp. 6-10
◽