Cited By
View all- Vinkhuijzen LLaarman A(2022)The Power of Disjoint Support Decompositions in Decision DiagramsNASA Formal Methods10.1007/978-3-031-06773-0_42(790-799)Online publication date: 24-May-2022
- Amaru LGaillardon PMitra SDe Micheli G(2015)New Logic Synthesis as Nanotechnology EnablerProceedings of the IEEE10.1109/JPROC.2015.2460377103:11(2168-2195)Online publication date: Nov-2015
- Callegaro VMarranghello FMartins MRibas RReis A(2015)Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysisProceedings of the 2015 33rd IEEE International Conference on Computer Design (ICCD)10.1109/ICCD.2015.7357181(680-687)Online publication date: 18-Oct-2015
- Show More Cited By