{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:58:05Z","timestamp":1742943485933,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_46","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"595-599","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells"],"prefix":"10.1007","author":[{"given":"Rafael M.","family":"Gasca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan A.","family":"Ortega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"Toro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"46_CR1","series-title":"Lect Notes Comput Sci","first-page":"44","volume-title":"Combining Local Consistency, Symbolic Rewriting and Interval Methods","author":"F. Benhamou","year":"1996","unstructured":"Benhamou F. and Granvilliers L.:Combining Local Consistency, Symbolic Rewriting and Interval Methods in Proceedings of AISMC-3 volume 1138 of LNCS, Springer-Verlag.(1996)44\u2013159"},{"unstructured":"Collavizza H., Delobel F. and Rueher M.:Extending consistent domains of numeric CSP Proceecings of Sixteenth IJCAI\u201999,Stockholm,(1999)406\u2013411","key":"46_CR2"},{"unstructured":"Fox M. and Long D.:The Detection and Explotation of Symmetry in Planning Problems IJCAI\u201999 (1999),956\u2013961","key":"46_CR3"},{"unstructured":"Gasca, R.M. Razonamiento y simulaci\u00f3n en sistemas que integran conocimiento cualitativo y cuantitativo Ph.D.dissertation Seville University,(1998)","key":"46_CR4"},{"unstructured":"Gent I.P.and Barbara M. Smith Symmetry Breaking in Constraint Programming. In ECAI\u20192000 14th European Conference on Artificial Intelligence. (2000)","key":"46_CR5"},{"doi-asserted-by":"crossref","unstructured":"Klein R., Buchheit M.and Nutt W. Configuration as model construction:The constructive problem solving approach. In Proc. of the 3rd Int. Conference on AI in Design (1994)","key":"46_CR6","DOI":"10.1007\/978-94-011-0928-4_12"},{"unstructured":"Lhomme O.:Consistency Techniques for Numeric CSPs Proceedings IJCAI\u201993, (1993)232\u2013238","key":"46_CR7"},{"doi-asserted-by":"crossref","unstructured":"D. Mailharro, A Classification and constraint-based framework for configuration. Artificial Intelligence for Engineering Design,Analysis and Manufacturing,12(4) (1998)","key":"46_CR8","DOI":"10.1017\/S0890060498124101"},{"key":"46_CR9","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1023\/A:1009939327927","volume":"3","author":"P. Marti","year":"1997","unstructured":"Marti P., Rueher M.:Concurrent Cooperating Solvers over Reals. Reliable Computing 3 (1997)325\u2013333","journal-title":"Reliable Computing"},{"doi-asserted-by":"crossref","unstructured":"McGuiness D.L. and Wright J.R.:Conceptual Modelling for Configuration: A description Logic-based Approach. Artificial Intelligence for Engineering Design, Analysis and Manufacturing,12(4)(1998)","key":"46_CR10","DOI":"10.1017\/S089006049812406X"},{"unstructured":"Meseguer P. and Torras C. Solving Strategies for Highly Symmetric CSPs. In IJCAI\u201999(1999)400\u2013411","key":"46_CR11"},{"unstructured":"Sabin, D. and Freuder F.Configuration as Composite Constraint Satisfaction. In Workshop Notes of AAAI Fall Symposium on Configuration AAAI Press. Menlo Park,CA (1996)28\u201336","key":"46_CR12"},{"doi-asserted-by":"crossref","unstructured":"Sabin D. and Weigel R. Product Configuration Frameworks-A survey. In IEEE Intelligent Systems (1998)42\u201349","key":"46_CR13","DOI":"10.1109\/5254.708432"},{"doi-asserted-by":"crossref","unstructured":"Van Hentenryck P.,(1998)42-49 Michel L. and Deville Y. Numerica. A modeling language for global optimization The MIT Press (1997)","key":"46_CR14","DOI":"10.7551\/mitpress\/5073.001.0001"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:09:49Z","timestamp":1585602589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}