Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes

@inproceedings{pub13177,
    author = {

Krauss, Rune
 and 

Goli, Mehran
 and 

Drechsler, Rolf
},
    title = {Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes},
    booktitle = {26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2023), May 3-5, Tallinn, Estonia},
    year = {2023}
}