Graph-based algorithms for boolean function manipulation, IEEE Trans. Comput, vol.35, pp.677-691, 1986. ,
Efficient boolean function matching, Proceedings of the 1992 IEEE/ACM International Conference on Computer-aided Design, ICCAD '92, pp.408-411, 1992. ,
Shared binary decision diagram with attributed edges for efficient boolean function manipulation, 27th ACM/IEEE Design Automation Conference, pp.52-57, 1990. ,
Dual edge operations in reduced ordered binary decision diagrams, Circuits and Systems, 1998. ISCAS '98. Proceedings of the 1998 IEEE International Symposium on, vol.6, pp.159-162, 1998. ,
A unifying theoretical background for some bdd-based data structures, Form. Methods Syst. Des, vol.11, pp.223-237, 1997. ,
New generalizations of shannon decomposition, 2001. ,
Improving the variable ordering of OBDDs is NP-complete, IEEE Transactions on Computers, vol.45, pp.993-1002, 1996. ,
The Coq proof assistant reference manual. LogiCal Project, 2004. ,
Zero-suppressed bdds for set manipulation in combinatorial problems, Proceedings of the 30th International Design Automation Conference, DAC '93, pp.272-277, 1993. ,
An introduction to zero-suppressed binary decision diagrams, tech. rep., in 'Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2001. ,
Efficient implementation of a BDD package, Proceedings of the 27th ACM/IEEE Design Automation Conference, DAC '90, pp.40-45, 1990. ,
Binary decision diagrams, 1999. ,
Chain reduction for binary and zero-suppressed decision diagrams, CoRR, 2017. ,
Binary Decision Diagrams with Edge-Specified Reductions, Tools and Algorithms for the Construction and Analysis of Systems, pp.303-318, 2019. ,
Tagged bdds: Combining reduction rules from different decision diagram types, FMCAD, pp.108-115, 2017. ,
A Knowledge Compilation Map, vol.17, pp.229-264, 2002. ,
Achieving Scalable Hardware Verification with Symbolic Simulation, vol.3104197, 2003. ,