{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:32:17Z","timestamp":1752460337769},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_93","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:37:53Z","timestamp":1330274273000},"page":"95-108","source":"Crossref","is-referenced-by-count":10,"title":["QUAD-CLP(R): Adding the power of quadratic constraints"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Pesant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Boyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"9_CR1","volume-title":"Prolog II Reference Manual and Theoretical Model. Rep. groupe d'intelligence artificielle","author":"A. Colmerauer","year":"1982","unstructured":"A. Colmerauer. Prolog II Reference Manual and Theoretical Model. Rep. groupe d'intelligence artificielle, Universit\u00e9 d'Aix-Marseille II, Luminy, October 1982."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"S. Donikian and G. H\u00e9gron. Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling. In P. Kanellakis, J.-L. Lassez, C. Lau, V. Saraswat, R. Wachter, and D. Wagner, editors, PPCP'93, Newport, RI, April 1993.","DOI":"10.1111\/1467-8659.1230223"},{"key":"9_CR3","unstructured":"T. Dub\u00e9 and C.-K. Yap. The Geometry in Constraint Logic Programs. In P. Kanellakis, J.-L. Lassez, C. Lau, V. Saraswat, R. Wachter, and D. Wagner, editors, PPCP'93, Newport, RI, April 1993."},{"key":"9_CR4","unstructured":"M. Gleicher. Practical Issues in Graphical Constraints. In P. Kanellakis, J.-L. Lassez, C. Lau, V. Saraswat, R. Wachter, and D. Wagner, editors, PPCP'93, Newport, RI, April 1993."},{"key":"9_CR5","first-page":"675","volume-title":"Proceedings of the 4th International Conference on Logic Programming","author":"N. Heintze","year":"1987","unstructured":"N. Heintze, S. Michaylov, and P. J. Stuckey. CLP(\u211c) and Some Electrical Engineering Problems. In J.-L. Lassez, editor, Proceedings of the 4th International Conference on Logic Programming, pages 675\u2013703, Melbourne, May 1987. MIT Press."},{"key":"9_CR6","unstructured":"C.M. Hoffmann. Geometric and Solid Modeling: An Introduction. Morgan Kaufmann Publishers, Inc., 1989."},{"key":"9_CR7","unstructured":"H. Hong. Non-linear Constraints Solving over Real Numbers in Constraint Logic Programming (Introducing RISC-CLP). Technical Report 92-16, RISC-Link, January 1992."},{"key":"9_CR8","unstructured":"J.-L. Imbert. Simplification des syst\u00e8mes de contraintes num\u00e9riques lin\u00e9aires. PhD thesis, Facult\u00e9 des Sciences de Luminy, Universit\u00e9 Aix-Marseilles II, 1989."},{"issue":"3","key":"9_CR9","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. C. Yap. The CLP(\u211c) Language and System. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395, July 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"9_CR10","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1145\/113446.113471","volume":"26","author":"J. Jaffar","year":"1991","unstructured":"J. Jaffar, S. Michaylov, and R. H. C. Yap. A Methodology for Managing Hard Constraints in CLP Systems. ACM SIGPLAN-PLDI, 26(6):306\u2013316, 1991.","journal-title":"ACM SIGPLAN-PLDI"},{"key":"9_CR11","unstructured":"G. Kuper. Aggregation in Constraint Databases. In P. Kanellakis, J.-L. Lassez, C. Lau, V. Saraswat, R. Wachter, and D. Wagner, editors, PPCP'93, Newport, RI, April 1993."},{"key":"9_CR12","unstructured":"C. Lassez and J.-L. Lassez. Quantifier Elimination for Conjunctions of Linear Constraints via a Convex Hull Algorithm. IBM Research Report, IBM T.J. Watson Research Center, 1991."},{"key":"9_CR13","unstructured":"J.-L. Lassez, T. Huynh, and K. McAloon. Simplification and Elimination of Redundant Linear Arithmetic Constraints. In Proceedings of NA CLP 89, pages 37\u201351. MIT Press, 1989."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"F. Major, M. Turcotte, D. Gautheret, G. Lapalme, E. Fillion, and R. Cedergren. The combination of symbolic and numerical computation for three-dimensional modeling of RNA. Science, 253, September 1991.","DOI":"10.1126\/science.1716375"},{"key":"9_CR15","unstructured":"B. A. Nadel, X. Wu, and D. Kagan. Multiple abstraction levels in automobile transmission design: constraint satisfaction formulations and implementations. Int. J. Expert Systems: Research and Applications. (to appear)."},{"key":"9_CR16","unstructured":"W. Older and A. Vellino. Constraint Arithmetic on Real Intervals. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research. MIT Press, 1993."},{"key":"9_CR17","unstructured":"G. Pesant and M. Boyer. Linear Approximations of Quadratic Constraints, (submitted for publication)."},{"key":"9_CR18","unstructured":"G. Pesant and M. Boyer. A Geometric Approach to Quadratic Constraints in Constraint Logic Programming. In F. Benhamou, A. Colmerauer, and G. Smolka, editors, Third Workshop on Constraint Logic Programming, Marseilles, France, March 1993."},{"key":"9_CR19","volume-title":"International Logic Programming Symposium","author":"G. Pesant","year":"1993","unstructured":"G. Pesant and M. Boyer. Handling Quadratic Constraints Through Geometry. In D. Miller, editor, International Logic Programming Symposium, Vancouver, Canada, October 1993. MIT Press."},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1016\/S0747-7171(89)80063-X","volume":"8","author":"K. Sakai","year":"1989","unstructured":"K. Sakai and A. Aiba. CAL: A Theoretical Background of Constraint Logic Programming and its Applications. Journal of Symbolic Computation, 8:589\u2013603, 1989.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:22Z","timestamp":1605648202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}