{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:30Z","timestamp":1725490110499},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540420712"},{"type":"electronic","value":"9783540449904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44990-6_11","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:20:43Z","timestamp":1188296443000},"page":"142-156","source":"Crossref","is-referenced-by-count":6,"title":["Basic Operators for Solving Constraints via Collaboration of Solvers"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Castro","sequence":"first","affiliation":[]},{"given":"Eric","family":"Monfroy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/297114.297115","volume":"6","author":"F. Arbab","year":"1999","unstructured":"F. Arbab and E. Monfroy. Heterogeneous distributed cooperative constraint solving using coordination. ACM Applied Computing Review, 6:4\u201317, 1999.","journal-title":"ACM Applied Computing Review"},{"key":"11_CR2","unstructured":"F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget. Revising Hull and Box Consistency. In Proc. of International Conference on Logic Programming, pages 230\u2013244, Las Cruces, USA, 1999. The MIT Press."},{"key":"11_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-61732-9_55","volume-title":"Combining Local Consistency, Symbolic Rewriting, and Interval Methods","author":"F. Benhamou","year":"1996","unstructured":"F. Benhamou and L. Granvilliers. Combining Local Consistency, Symbolic Rewriting, and Interval Methods. In Proc. of AISMC3, volume 1138 of LNCS, pages 144\u2013159, Steyr, Austria, 1996. Springer-Verlag."},{"key":"11_CR4","unstructured":"H. Beringer and B. DeBacker. Combinatorial Problem Solving in Constraint Logic Programming with Cooperative Solvers. In C. Beierle and L. Pl\u00fcmer, editors, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. North Holland, 1995."},{"key":"11_CR5","series-title":"Research Report","volume-title":"A unifying framework for integer and finite domain constraint programming","author":"A. Bockmayr","year":"1997","unstructured":"A. Bockmayr and T. Kasper. A unifying framework for integer and finite domain constraint programming. Research Report MPI-I-97-2-008, Max Planck Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany, Aug. 1997."},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional Systems Theory","author":"B. Buchberger","year":"1985","unstructured":"B. Buchberger. Gr\u00f6bner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N. K. Bose, editor, Multidimensional Systems Theory, pages 184\u2013232. D. Reidel Publishing Company, Dordrecht-Boston-Lancaster, 1985."},{"issue":"3","key":"11_CR7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.3233\/FI-1998-34303","volume":"34","author":"C. Castro","year":"1998","unstructured":"C. Castro. Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. Fundamenta Informaticae, 34(3):263\u2013293, June 1998.","journal-title":"Fundamenta Informaticae"},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BFb0055906","volume-title":"COLETTE, Prototyping CSP Solvers Using a Rule-Based Language","author":"C. Castro","year":"1998","unstructured":"C. Castro. COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. In J. Calmet and J. Plaza, editors, Proc. of The Fourth International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, volume 1476 of LNCS, pages 107\u2013119, Plattsburgh, NY, USA, Sept. 1998. Springer-Verlag."},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/3-540-46562-6_36","volume-title":"A Control Language for Designing Constraint Solvers","author":"C. Castro","year":"2000","unstructured":"C. Castro and E. Monfroy. A Control Language for Designing Constraint Solvers. In Proc. of Third International Conference Perspective of System Informatics, PSI'99, volume 1755 of LNCS, pages 402\u2013415, Novosibirsk, Russia, 2000. Springer-Verlag."},{"key":"11_CR10","unstructured":"J.-C. Faugere. R\u00e9solution des syst`emes d\u00e9quations alg\u00b4ebriques. PhD thesis, Universit\u00e9 Paris 6, France, 1994."},{"key":"11_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Constraint Programming: Basics and Trends","author":"T. Fr\u00fchwirth","year":"1995","unstructured":"T. Fr\u00fchwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends, volume 910 of LNCS. Springer-Verlag, 1995."},{"key":"11_CR12","unstructured":"K. Geddes, G. Gonnet, and B. Leong. Maple V: Language reference manual. Springer Verlag, New York, Berlin, Paris, 1991."},{"issue":"1-2","key":"11_CR13","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218213095000061","volume":"4","author":"P. Marti","year":"1995","unstructured":"P. Marti and M. Rueher. A Distribuited Cooperating Constraints Solving System. International Journal of Artificial Intelligence Tools, 4(1-2):93\u2013113, 1995.","journal-title":"International Journal of Artificial Intelligence Tools"},{"key":"11_CR14","unstructured":"M. Meier and J. Schimpf. ECLiPSe User Manual. Technical Report ECRC-93-6, ECRC (European Computer-industry Research Centre), Munich, Germany, 1993."},{"key":"11_CR15","unstructured":"E. Monfroy. Collaboration de solveurs pour la programmation logique \u00e1 contraintes. Phd thesis, Universit\u00e9 Henri Poincar\u00e9-Nancy 1, France, Nov. 1996. Also available in english. On-line at: http:\/\/www.cwi.nl\/~eric\/Private\/Publications\/index.html ."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"E. Monfroy. An environment for designing\/executing constraint solver collaborations. ENTCS (Electronic Notes in Theoretical Computer Science), 16(1), 1998.","DOI":"10.1016\/S1571-0661(05)80588-2"},{"key":"11_CR17","unstructured":"E. Monfroy. The Constraint Solver Collaboration Language of BALI. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, volume 7 of Studies in Logic and Computation, pages 211\u2013230. Research Studies Press\/Wiley, 2000."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"E. Monfroy, M. Rusinowitch, and R. Schott. Implementing Non-Linear Constraints with Cooperative Solvers. In K. M. George, J. H. Carroll, D. Oppenheim, and J. Hightower, editors, Proc. of ACM Symposium on Applied Computing (SAC'96), Philadelphia, PA, USA, pages 63\u201372. ACM Press, February 1996.","DOI":"10.1145\/331119.331147"},{"issue":"2","key":"11_CR19","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"G. Nelson and D. C. Oppen. Simplifications by Cooperating Decision Procedures. ACM Trans. on Programming Languages and Systems, 1(2):245\u2013257, Oct. 1979.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"C. Ringeissen. Cooperation of decision procedures for the satisfiability problem. In F. Baader and K. Schulz, editors, Proc. of First Int. Workshop Frontiers of Combining Systems, FroCoS'96, pages 121\u2013139. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-94-009-0349-4_6"},{"key":"11_CR21","unstructured":"E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44990-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T01:12:00Z","timestamp":1587863520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44990-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540420712","9783540449904"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44990-6_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}