{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:41:41Z","timestamp":1725745301139},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319022963"},{"type":"electronic","value":"9783319022970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02297-0_17","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T11:37:38Z","timestamp":1376480258000},"page":"194-208","source":"Crossref","is-referenced-by-count":9,"title":["An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification"],"prefix":"10.1007","author":[{"given":"Hidenao","family":"Iwane","sequence":"first","affiliation":[]},{"given":"Hiroyuki","family":"Higuchi","sequence":"additional","affiliation":[]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Espresso, http:\/\/embedded.eecs.berkeley.edu\/pubs\/downloads\/espresso\/"},{"issue":"11","key":"17_CR2","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1080\/00207170600726550","volume":"79","author":"H. Anai","year":"2006","unstructured":"Anai, H., Hara, S.: A parameter space approach to fixed-order robust controller synthesis by quantifier elimination. International Journal of Control\u00a079(11), 1321\u20131330 (2006)","journal-title":"International Journal of Control"},{"key":"17_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"R.K. Brayton","year":"1984","unstructured":"Brayton, R.K., Sangiovanni-Vincentelli, A.L., McMullen, C.T., Hachtel, G.D.: Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers, Norwell (1984)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Brown, C.W.: Solution formula construction for truth invariant cad\u2019s. PhD thesis, University of Delaware Newark (1999)","DOI":"10.1145\/309831.309890"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"C.W. Brown","year":"2003","unstructured":"Brown, C.W.: QEPCAD B: A program for computing with semi-algebraic sets using CADs. SIGSAM Bulletin\u00a037, 97\u2013108 (2003)","journal-title":"SIGSAM Bulletin"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Caviness, B.F., Johnson, J.R. (eds.): Quantifier elimination and cylindrical algebraic decomposition. Texts and Monographs in Symbolic Computation. Springer (1998)","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Collins, G.E.: Quantifier elimination and cylindrical algebraic decomposition. In: Caviness, Johnson (eds.) [6], pp. 8\u201323 (1998)","DOI":"10.1007\/978-3-7091-9459-1_2"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Coudert, O., Madre, J.C., Fraisse, H.: A new viewpoint on two-level logic minimization. In: Proceedings of the Design Automation Conference, pp. 625\u2013630 (1993)","DOI":"10.1145\/157485.165071"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Vega, L.: A combinatorial algorithm solving some quantifier elimination problems. In: Caviness, Johnson (eds.) [6], pp. 365\u2013375 (1998)","DOI":"10.1007\/978-3-7091-9459-1_19"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Vega, L., Recio, T., Lombardi, H., Roy, M.-F.: Sturm-Habicht sequences determinants and real roots of univariate polynomials. In: Caviness, B.F., Johnson, J.R. (eds.) [6], pp. 300\u2013316 (1998)","DOI":"10.1007\/978-3-7091-9459-1_14"},{"issue":"6","key":"17_CR11","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/s00200-007-0056-7","volume":"18","author":"N. Hyodo","year":"2007","unstructured":"Hyodo, N., Hong, M., Yanami, H., Hara, S., Anai, H.: Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Applicable Algebra in Engineering, Communication and Computing\u00a018(6), 497\u2013512 (2007)","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"issue":"3","key":"17_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s11786-011-0097-y","volume":"5","author":"H. Iwane","year":"2011","unstructured":"Iwane, H., Yanami, H., Anai, H.: A symbolic-numeric approach to multi-objective optimization in manufacturing design. Mathematics in Computer Science\u00a05(3), 315\u2013334 (2011)","journal-title":"Mathematics in Computer Science"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.tcs.2012.10.020","volume":"479","author":"H. Iwane","year":"2013","unstructured":"Iwane, H., Yanami, H., Anai, H., Yokoyama, K.: An effective implementation of symbolic\u2013numeric cylindrical algebraic decomposition for quantifier elimination. Theoretical Computer Science\u00a0479, 43\u201369 (2013)","journal-title":"Theoretical Computer Science"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"McGeer, P., Sanghavi, J., Brayton, R., Vincentelli, A.S.: ESPRESSO-SIGNATURE: A new exact minimizer for logic functions. In: Proceedings of the Design Automation Conference, pp. 618\u2013624 (1993)","DOI":"10.1145\/157485.165069"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/11870814_25","volume-title":"Computer Algebra in Scientific Computing","author":"T. Sturm","year":"2006","unstructured":"Sturm, T.: New domains for applied quantifier elimination. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2006. LNCS, vol.\u00a04194, pp. 295\u2013301. Springer, Heidelberg (2006)"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/1993886.1993935","volume-title":"Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011","author":"T. Sturm","year":"2011","unstructured":"Sturm, T., Tiwari, A.: Verification and synthesis using real quantifier elimination. In: Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011, pp. 329\u2013336. ACM, New York (2011)"},{"key":"17_CR17","unstructured":"Yang, L., Xia, B.: Real solution classification for parametric semi-algebraic systems. In: Dolzmann, A., Seidl, A., Sturm, T. (eds.) Algorithmic Algebra and Logic, pp. 281\u2013289. Books on Demand (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02297-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T21:19:52Z","timestamp":1688419192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02297-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319022963","9783319022970"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02297-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}