Rune Krauss, Mehran Goli, Rolf Drechsler. Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes. In Maksim Jenihhin, Hana Kubátová, Nele Metens, Jaan Raik, Foisal Ahmed, Jan Belohoubek, editors, 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2023, Tallinn, Estonia, May 3-5, 2023. pages 73-78, IEEE, 2023. [doi]
Abstract is missing.