{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:15Z","timestamp":1725484815608},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_44","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"457-467","source":"Crossref","is-referenced-by-count":0,"title":["A Graphical Interface for Solver Cooperations"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Granvilliers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Monfroy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"44_CR1","unstructured":"F. Arbab. Manifold2.0 reference manual. CWI, Amsterdam, The Netherlands, May 1997."},{"key":"44_CR2","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/297114.297115","volume":"6","author":"F. Arbab","year":"1998","unstructured":"F. Arbab and E. Monfroy. Coordination of Heterogeneous Distributed Cooperative Constraint Solving. ACM SIGAPP Applied Computing Review, 6:4\u201317, 1998.","journal-title":"ACM SIGAPP Applied Computing Review"},{"issue":"3","key":"44_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1009943413814","volume":"3","author":"F. Benhamou","year":"1997","unstructured":"F. Benhamou and L. Granvilliers. Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. Reliable Computing, 3(3):335\u2013344, 1997.","journal-title":"Reliable Computing"},{"key":"44_CR4","unstructured":"H. Beringer and B. De Backer. Combinatorial problem solving in constraint logic programming withco operative solvers. In Logic programming: formal methods and practical applications. Elsevier Science Publisher B.V., 1995."},{"key":"44_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-61052-9_59","volume-title":"Coordination Languages and Models","author":"P. Bouvry","year":"1996","unstructured":"P. Bouvry and F. Arbab. Visifold: A visual environment for a coordination language. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 403\u2013406. Springer-Verlag, April 1996."},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"B. Buchberger. Gr\u00f6bner Bases: an Algorithmic Method in Polynomial Ideal Theory. In Multidimensional Systems Theory, pages 184\u2013232. 1985.","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"44_CR7","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 Proceedings of Andrei Ershov Third International Conference Perspective of System Informatics, PSI\u201999, volume 1755 of Lecture Notes in Computer Science, pages 402\u2013415, Novosibirsk, Akademgorodok, Russia, 2000. Springer-Verlag."},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"C. Castro and E. Monfroy.Basic Operators for Solving Constraints via Collaboration of Solvers. In J. A. Campbell and E. Roanes-Lozano, editors, Proceedings of the 5th International Conference on Artificial Intelligence and Symbolic Computation (AISC\u20192000), volume 1930 of Lecture Notes in Artificial Intelligence, pages 142\u2013146, Madrid, Spain, 2001. Springer.","DOI":"10.1007\/3-540-44990-6_11"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"L. Granvilliers, E. Monfroy, and F. Benhamou. Symbolic-Interval Cooperation in Constraint Programming. In Proceedings of the 26th International Symposium on Symbolic and Algebraic Computation (ISSAC\u20192001), pages 150\u2013166, University of Western Ontario, London, Ontario, Canada, 2001. ACM Press.","DOI":"10.1145\/384101.384123"},{"issue":"1","key":"44_CR10","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"issue":"1&2","key":"44_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1142\/S0218213095000061","volume":"4","author":"P. Marti","year":"1995","unstructured":"P. Marti and M. Rueher. A Distributed Cooperating Constraints Solving System. International Journal on Artificial Intelligence Tools, 4(1&2):93\u2013113, 1995.","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"44_CR12","unstructured":"E. Monfroy. The Constraint Solver Collaboration Language of BALI. In D.M. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, volume 7 of Studies in Logic and Computation, pages 211\u2013230. ResearchStudies Press\/Wiley, 2000."},{"key":"44_CR13","doi-asserted-by":"crossref","unstructured":"E. Monfroy and F. Arbab. Coordination of Internet Agents: Models, Technologies, and Applications, chapter Constraints Solving as the Coordination of Inference Engines, pages 399\u2013422. Springer-Verlag, Omicini, A. and Zambonelli, F. and Klusch, M. and Tolksdorf, R. edition, 2001.","DOI":"10.1007\/978-3-662-04401-8_16"},{"key":"44_CR14","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, Proceedings of ACM Symposium on Applied Computing (SAC\u201996), Philadelphia, PA, USA, pages 63\u201372. ACM Press, February 1996.","DOI":"10.1145\/331119.331147"},{"key":"44_CR15","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"R.E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966."},{"key":"44_CR16","doi-asserted-by":"crossref","unstructured":"G. A. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, 46: The Engineering of Large Systems, 1998.","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"44_CR17","unstructured":"A. Semenov, D. Petunin, and A. Kleymenov. GMACS: the general-purpose module architecture for building cooperative solvers. In Proceedings of the ERCIM\/ CompulogNet Workshop on Constraint programming, Padova, Italy, 2000."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:34:53Z","timestamp":1556444093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_44","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}