{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:42:14Z","timestamp":1725716534757},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_8","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:59:47Z","timestamp":1179194387000},"page":"109-123","source":"Crossref","is-referenced-by-count":12,"title":["A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations"],"prefix":"10.1007","author":[{"given":"Yahia","family":"Lebbah","sequence":"first","affiliation":[]},{"given":"Michel","family":"Rueher","sequence":"additional","affiliation":[]},{"given":"Claude","family":"Michel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"issue":"11","key":"8_CR1","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0898-1221(90)90148-D","volume":"19","author":"F. A. Al-Khayyal","year":"1990","unstructured":"F. A. Al-Khayyal. Jointly constrained biconvex programming and related problems: An overview. Computers and Mathematics with Applications, pages Vol. 19, No. 11, 53\u201362, 1990.","journal-title":"Computers and Mathematics with Applications"},{"issue":"2","key":"8_CR2","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1287\/moor.8.2.273","volume":"8","author":"F. A. Al-Khayyal","year":"1983","unstructured":"F. A. Al-Khayyal and J. E. Falk. Jointly constrained biconvex programming. Mathematics of Operations Research, pages Vol. 8, No. 2, 273\u2013286, 1983.","journal-title":"Mathematics of Operations Research"},{"key":"8_CR3","unstructured":"G. Alefeld and J. Hezberger, editors. Introduction to Interval Computations. Academic press, 1983."},{"issue":"1","key":"8_CR4","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s101079900106","volume":"87","author":"C. Audet","year":"2000","unstructured":"C. Audet, P. Hansen, B. Jaumard, and G. Savard. Branch and cut algorithm for nonconvex quadratically constrained quadratic programming. Mathematical Programming, pages 87(1), 131\u2013152, 2000.","journal-title":"Mathematical Programming"},{"issue":"2","key":"8_CR5","first-page":"29","volume":"1993","author":"O. P. Babichev","year":"1993","unstructured":"O. P. Babichev, A. B. and Kadyrova, T. P. Kashevarova, A. S. Leshchenko, and Semenov A. L. Unicalc, a novel approach to solving systems of algebraic equations. Interval Computations 1993(2), pages 29\u201347, 1993.","journal-title":"Interval Computations"},{"key":"8_CR6","unstructured":"M. S. Bazaraa, H. D. Sherali, and C. M. Shetty. Nonlinear Programming: Theory and Algorithms. John Wiley & Sons, 1993."},{"key":"8_CR7","unstructured":"F. Benhamou, D. McAllester, and P. Van-Hentenryck. Clp(intervals) revisited. In Proceedings of the International Symposium on Logic Programming, pages 124\u2013138, 1994."},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"F. Benhamou and W. Older. Applying interval arithmetic to real, integer and boolean constraints. Journal of Logic Programming, pages 32(1):1\u201324, 1997.","journal-title":"Journal of Logic Programming"},{"key":"8_CR9","volume-title":"Technical report","author":"A. Colmerauer","year":"1994","unstructured":"A. Colmerauer. Sp\u00e9cifications de prolog iv. Technical report, GIA, Facult\u00e9 des Sciences de Luminy, 163, Avenue de Luminy 13288 Marseille cedex 9 (France), 1994."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","volume":"32","author":"E. Davis","year":"1987","unstructured":"E. Davis. Constraint propagation with interval labels. Journal of Artificial Intelligence, pages 32:281\u2013331, 1987.","journal-title":"Journal of Artificial Intelligence"},{"key":"8_CR11","unstructured":"O. Didrit. Analyse par intervalles pour l\u2019automatique: r\u00e9solution globale et garantie de probl\u00e9mes non lin\u00e9aires en robotique et en commande robuste. PhD thesis, Universit\u00e9 Parix XI Orsay, 1997."},{"issue":"3","key":"8_CR12","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1009922003700","volume":"5","author":"M. Rueher","year":"1999","unstructured":"M. Rueher H. Collavizza, F. Delobel. Comparing partial consistencies. Reliable Computing, pages Vol. 5(3), 213\u2013228, 1999.","journal-title":"Reliable Computing"},{"key":"8_CR13","unstructured":"Ilog, editor. ILOG Solver 4.0, Reference Manual. Ilog, 1997."},{"key":"8_CR14","series-title":"PhD thesis","volume-title":"Contribution \u00e1 la r\u00e9solution de contraintes par consistance forte","author":"Y. Lebbah","year":"1999","unstructured":"Y. Lebbah. Contribution \u00e1 la r\u00e9solution de contraintes par consistance forte. PhD thesis, Ecole des Mines de Nantes, France, 1999."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Y. Lebbah and O. Lhomme. Accelerating filtering techniques for numeric csps. Journal of Artificial Intelligence, page Forthcoming, 2002.","DOI":"10.1016\/S0004-3702(02)00194-7"},{"key":"8_CR16","unstructured":"O. Lhomme. Consistency techniques for numeric csps. In Proceedings of IJCAI\u201993, pages 232\u2013238, 1993."},{"key":"8_CR17","unstructured":"R. Moore. Interval Analysis. Prentice Hall, 1966."},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0096-3003(87)90064-6","volume":"24","author":"A. P. Morgan","year":"1987","unstructured":"A. P. Morgan. Computing all solutions to polynomial systems using homotopy continuation. Appl. Math. Comput., pages 24:115\u2013138, 1987.","journal-title":"Appl. Math. Comput."},{"key":"8_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511612916","volume-title":"Introduction to Numerical Analysis","author":"A. Neumaier","year":"2001","unstructured":"A. Neumaier. Introduction to Numerical Analysis. Cambridge Univ. Press, Cambridge, 2001."},{"key":"8_CR20","unstructured":"W. J. Older and A. Velino. Extending prolog with constraint arithmetic on real intervals. In Proc. of IEEE Canadian conference on Electrical and Computer Engineering, pages 14.1.1\u201314.1.4. IEEE Computer Society Press, 1990."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"H. D. Sherali and W. P. Adams. A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems. Kluwer Academic Publishing, 1999.","DOI":"10.1007\/978-1-4757-4388-3"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01100203","volume":"7","author":"H. D. Sherali","year":"1992","unstructured":"H. D. Sherali and C. H. Tuncbilek. A global optimization algorithm for polynomial using a reformulation-linearization technique. Journal of Global Optimization, pages 7, 1\u201331, 1992.","journal-title":"Journal of Global Optimization"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1137\/S0036142995281504","volume":"34","author":"P. -Hentenryck Van","year":"1997","unstructured":"P. Van-Hentenryck, D. Mc Allester, and D. Kapur. Solving polynomial systems using branch and prune approach. SIAM Journal on Numerical Analysis, pages 34(2):797\u2013827, 1997.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"P. Van-Hentenryck, L. Michel, and Y. Deville. Numerica: a Modeling Languge for Global Optimization. MIT press, 1997.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"8_CR25","unstructured":"R. Wunderlings. Paralleler und Objektorientierter Simplex-Algorithmus (in German). PhD thesis, Berlin, 1996."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:25:52Z","timestamp":1556396752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}