Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Quotient in Preorder Theories;Electronic Proceedings in Theoretical Computer Science;2020-09-20
2. Digital Circuit Design Utilizing Equation Solving over ‘Big’ Boolean Algebras;International Journal of Mathematical, Engineering and Management Sciences;2018-12-01
3. Component-Based Design by Solving Language Equations;Proceedings of the IEEE;2015-11
4. Introduction to Zero-Suppressed Decision Diagrams;Synthesis Lectures on Digital Circuits & Systems;2015
5. Applications of Zero-Suppressed Decision Diagrams;Synthesis Lectures on Digital Circuits and Systems;2014-11-10