Author:
Iwane Hidenao,Higuchi Hiroyuki,Anai Hirokazu
Publisher
Springer International Publishing
Reference17 articles.
1. Espresso,
http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/
2. Anai, H., Hara, S.: A parameter space approach to fixed-order robust controller synthesis by quantifier elimination. International Journal of Control 79(11), 1321–1330 (2006)
3. Brayton, R.K., Sangiovanni-Vincentelli, A.L., McMullen, C.T., Hachtel, G.D.: Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers, Norwell (1984)
4. Brown, C.W.: Solution formula construction for truth invariant cad’s. PhD thesis, University of Delaware Newark (1999)
5. Brown, C.W.: QEPCAD B: A program for computing with semi-algebraic sets using CADs. SIGSAM Bulletin 37, 97–108 (2003)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献