Linear Fold and Tree Fold in Creation of Binary Decision Diagrams of Standard Benchmarks

Autor:	Michal Mrena, Peter Sedlacek, Miroslav Kvassay
Rok vydání:	2021
Zdroj:	2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS).
DOI:	10.1109/idaacs53288.2021.9660940
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::bd7412dc22dda1266ed27488b259f73d https://doi.org/10.1109/idaacs53288.2021.9660940 Zobrazit plný text záznamu