Cited By
View all- Hassen AAhmed Khan F(2021)An Adaptive Metric for Node Substitution-Based BDD Minimization2021 IEEE International Symposium on Circuits and Systems (ISCAS)10.1109/ISCAS51556.2021.9401583(1-5)Online publication date: May-2021
- Shirinzadeh SDrechsler RShirinzadeh SDrechsler R(2019)BDD Optimization and Approximation: A Multi-criteria ApproachIn-Memory Computing10.1007/978-3-030-18026-3_3(21-47)Online publication date: 23-May-2019
- Shirinzadeh SSoeken MGroße DDrechsler RBosman P(2017)An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimizationProceedings of the Genetic and Evolutionary Computation Conference10.1145/3071178.3071281(1232-1239)Online publication date: 1-Jul-2017