Michal Mrena, Peter Sedlacek, Miroslav Kvassay. Linear Fold and Tree Fold in Creation of Binary Decision Diagrams of Standard Benchmarks. In 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Cracow, Poland, September 22-25, 2021. pages 1120-1125, IEEE, 2021. [doi]
Abstract is missing.