{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:07:10Z","timestamp":1725516430029},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540793540"},{"type":"electronic","value":"9783540793557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79355-7_23","type":"book-chapter","created":{"date-parts":[[2008,8,11]],"date-time":"2008-08-11T13:20:59Z","timestamp":1218460859000},"page":"235-244","source":"Crossref","is-referenced-by-count":1,"title":["An OCL-Based CSP Specification and Solving Tool"],"prefix":"10.1007","author":[{"given":"Samira","family":"Sadaoui","sequence":"first","affiliation":[]},{"given":"Malek","family":"Mouhoub","sequence":"additional","affiliation":[]},{"given":"Xiaofeng","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Bauer, B., Muller, J.P., Odell, J.: An extension of UML by protocols for multi-agent interaction. In: The Fourth International Conference on MultiAgent Systems (ICMAS 2000) (2000)","DOI":"10.1109\/ICMAS.2000.858455"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(94)90041-8","volume":"65","author":"C. Bessi\u00e8re","year":"1994","unstructured":"Bessi\u00e8re, C.: Arc-consistency and arc-consistency again. Artificial Intelligence\u00a065, 179\u2013190 (1994)","journal-title":"Artificial Intelligence"},{"key":"23_CR3","unstructured":"Bessi\u00e8re, C., Freuder, E., Regin, J.C.: Using inference to reduce arc consistency computation. In: IJCAI 1995, Montr\u00e9al, Canada, pp. 592\u2013598 (1995)"},{"key":"23_CR4","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C.: Refining the basic constraint propagation algorithm. In: Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, WA, pp. 309\u2013315 (2001)"},{"key":"23_CR5","unstructured":"Choco (2006), \n                    \n                      http:\/\/choco.sourceforge.net\/"},{"key":"23_CR6","unstructured":"Cream: Class Library for Constraint Programming in Java, \n                    \n                      http:\/\/bach.istc.kobe-u.ac.jp\/cream"},{"key":"23_CR7","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"23_CR8","unstructured":"Diaz, D., Codognet, P.: Design and implementation of the gnu prolog system. Journal of Functional and Logic Programming\u00a06 (2001)"},{"key":"23_CR9","unstructured":"Fowler, M.: UML distilled: A brief guide to the standard object modeling language, 3 (2003)"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R.M. Haralick","year":"1980","unstructured":"Haralick, R.M., Elliott, G.L.: Increasing tree search efficiency for Constraint Satisfaction Problems. Artificial Intelligence\u00a014, 263\u2013313 (1980)","journal-title":"Artificial Intelligence"},{"key":"23_CR11","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge (1989)"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/236337.236376","volume-title":"OOPSLA 1996: Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"N. Klarlund","year":"1996","unstructured":"Klarlund, N., Koistinen, J., Schwartzbach, M.I.: Formal design constraints. In: OOPSLA 1996: Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, New York, NY, USA, pp. 370\u2013383. ACM Press, New York (1996)"},{"key":"23_CR13","unstructured":"Kumar, V.: Algorithms for Constraint Satisfaction Problems: A survey. AI Magazine (1992)"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence\u00a08, 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A.K. Mackworth","year":"1985","unstructured":"Mackworth, A.K., Freuder, E.: The complexity of some polynomial network-consistency algorithms for constraint satisfaction problems. Artificial Intelligence\u00a025, 65\u201374 (1985)","journal-title":"Artificial Intelligence"},{"key":"23_CR16","unstructured":"Meyers, S., Duby, C.K., Reiss, S.P.: Constraining the structure and style of object-oriented programs. Technical paper, Brown University USA (1993)"},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R., Henderson, T.: Arc and path consistency revisited. Artificial Intelligence\u00a028, 225\u2013233 (1986)","journal-title":"Artificial Intelligence"},{"key":"23_CR18","unstructured":"ILOG Solver (2006), \n                    \n                      http:\/\/www.ilog.com\/products\/solver\/"},{"key":"23_CR19","unstructured":"Wallace, R.J.: Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs. In: IJCAI 1993, Chambery, France, pp. 239\u2013245 (1993)"},{"key":"23_CR20","volume-title":"The object constraint language","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The object constraint language, vol.\u00a02. Addison-Wesley, Reading (2003)"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Yokoo, M., Hirayama, K.: Algorithms for distributed constraint satisfaction: A review. Journal of Autonomous Agents and Multi-agent Systems\u00a03(2) (2000)","DOI":"10.1023\/A:1010078712316"},{"key":"23_CR22","unstructured":"Zhang, Y., Yap, R.H.C.: Making ac-3 an optimal algorithm. In: Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, WA, pp. 316\u2013321 (2001)"}],"container-title":["Studies in Computational Intelligence","New Challenges in Applied Intelligence Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79355-7_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:19:58Z","timestamp":1619522398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79355-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540793540","9783540793557"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79355-7_23","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[]}}