Linear Fold and Tree Fold in Creation of Binary Decision Diagrams of Standard Benchmarks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Michal Mrena' in GoogleThis author has not been identified. Look up 'Peter Sedlacek' in GoogleThis author has not been identified. Look up 'Miroslav Kvassay' in Google

runs on WebDSL