Publisher
Springer International Publishing
Reference38 articles.
1. Al-Rabadi, A.N., Perkowski, M., Zwick, M.: A comparison of modified reconstructability analysis and Ashenhurst-Curtis decomposition of Boolean functions, Kybernetes (2004)
2. Amarú, L., Gaillardon, P.-E., De Micheli, G.: BDS-MAJ: A BDD-based logic synthesis tool exploiting majority logic decomposition. In: Proceedings of the 50th Annual Design Automation Conference, pp. 1–6 (2013)
3. Ashenhurst, R.L.: The decomposition of switching functions. In: Proceedings of an International Symposium on the Theory of Switching, April 1957 (1957)
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
5. Bertacco, V.: The disjunctive decomposition of logic functions. In: Proceedings of the International Conference on Computer-Aided Design (ICCAD 1997), November 1997, pp. 78–82 (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献