{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:30:03Z","timestamp":1725798603729},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104270"},{"type":"electronic","value":"9783319104287"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10428-7_52","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T01:33:54Z","timestamp":1407893634000},"page":"721-737","source":"Crossref","is-referenced-by-count":2,"title":["Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Wahbi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth N.","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.artint.2004.09.002","volume":"161","author":"R. B\u00e9jar","year":"2005","unstructured":"B\u00e9jar, R., Domshlak, C., Fern\u00e1ndez, C., Gomes, C., Krishnamachari, B., Selman, B., Valls, M.: Sensor networks and distributed csp: communication, computation and complexity. Artif. Intel.\u00a0161, 117\u2013147 (2005)","journal-title":"Artif. Intel."},{"key":"52_CR2","unstructured":"Beldiceanu, N., Carlsson, M., Rampon, J.X.: Global constraint catalog. SICS Research Report (2005)"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"Bessiere, C., Brito, I., Gutierrez, P., Meseguer, P.: Global constraints in distributed constraint satisfaction and optimization. The Computer Journal (2013)","DOI":"10.1093\/comjnl\/bxt088"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"Bessi\u00e8re, C., Van Hentenryck, P.: To be or not to be... a global constraint. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 789\u2013794. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45193-8_54"},{"key":"52_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.artint.2004.10.002","volume":"161","author":"C. Bessiere","year":"2005","unstructured":"Bessiere, C., Maestre, A., Brito, I., Meseguer, P.: Asynchronous backtracking without adding links: a new member in the ABT family. Artif. Intel.\u00a0161, 7\u201324 (2005)","journal-title":"Artif. Intel."},{"key":"52_CR6","unstructured":"Boussemart, F., Hemery, F., Lecoutre, C., Sais, L.: Boosting Systematic Search by Weighting Constraints. In: Proceedings of ECAI 2004, pp. 146\u2013150 (2004)"},{"key":"52_CR7","unstructured":"Brito, I., Meseguer, P.: Asynchronous backtracking for non-binary discsp. In: DCR Workshop at ECAI-2006, DCR 2006, Riva di Garda, Italia (2006)"},{"key":"52_CR8","unstructured":"Downing, N., Feydy, T., Stuckey, P.J.: Explaining alldifferent. In: Proceedings of ACSC 2012, Darlinghurst, Australia, Australia, pp. 115\u2013124 (2012)"},{"key":"52_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-29828-8_10","volume-title":"Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems","author":"N. Downing","year":"2012","unstructured":"Downing, N., Feydy, T., Stuckey, P.J.: Explaining flow-based propagation. In: Beldiceanu, N., Jussien, N., Pinson, \u00c9. (eds.) CPAIOR 2012. LNCS, vol.\u00a07298, pp. 146\u2013162. Springer, Heidelberg (2012)"},{"issue":"1","key":"52_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10601-013-9148-0","volume":"19","author":"K. Francis","year":"2014","unstructured":"Francis, K., Stuckey, P.: Explaining circuit propagation. Constraints\u00a019(1), 1\u201329 (2014)","journal-title":"Constraints"},{"key":"52_CR11","unstructured":"Gaudin, E., Jussien, N., Rochart, G.: Implementing explained global constraints. In: Proceedings of the CP 2004 Workshop on Constraint Propagation and Implementation (CPAI 2004), Toronto, Canada, Canada, pp. 61\u201376 (2004)"},{"key":"52_CR12","doi-asserted-by":"crossref","unstructured":"Gutierrez, P., Meseguer, P.: Saving redundant messages in bnb-adopt. In: AAAI 2010 (2010)","DOI":"10.1609\/aaai.v24i1.7768"},{"key":"52_CR13","unstructured":"Jussien, N.: The versatility of using explanations within constraint programming. HDR, Universit\u00e9 de Nantes (September 2003)"},{"key":"52_CR14","series-title":"Lecture Notes in Computer Science","first-page":"118","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"N. Jussien","year":"2000","unstructured":"Jussien, N., Barichard, V.: The palm system: explanation-based constraint programming. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 118\u2013133. Springer, Heidelberg (2000)"},{"key":"52_CR15","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Series (1997)"},{"key":"52_CR16","unstructured":"Maher, M.J.: Open contractible global constraints. In: Proceedings of IJCAI 2009, pp. 578\u2013583. Morgan Kaufmann Publishers Inc., San Francisco (2009)"},{"issue":"1","key":"52_CR17","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1613\/jair.1786","volume":"25","author":"R. Mailler","year":"2006","unstructured":"Mailler, R., Lesser, V.R.: Asynchronous partial overlay: A new algorithm for solving distributed constraint satisfaction problems. JAIR\u00a025(1), 529\u2013576 (2006)","journal-title":"JAIR"},{"key":"52_CR18","unstructured":"Meisels, A., Lavee, O.: Using additional information in DisCSP search. In: Proceedings of DCR 2004 (2004)"},{"issue":"1","key":"52_CR19","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10601-006-9013-5","volume":"12","author":"A. Meisels","year":"2007","unstructured":"Meisels, A., Zivan, R.: Asynchronous Forward-checking for DisCSPs. Constraints\u00a012(1), 131\u2013150 (2007)","journal-title":"Constraints"},{"key":"52_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/11402763_7","volume-title":"Recent Advances in Constraints","author":"A. Petcu","year":"2005","unstructured":"Petcu, A., Faltings, B.V.: A Value Ordering Heuristic for Distributed Resource Allocation. In: Faltings, B.V., Petcu, A., Fages, F., Rossi, F. (eds.) CSCLP 2004. LNCS (LNAI), vol.\u00a03419, pp. 86\u201397. Springer, Heidelberg (2005)"},{"key":"52_CR21","doi-asserted-by":"crossref","unstructured":"Petcu, A., Faltings, B.: DPOP: A Scalable Method for Multiagent Constraint Optimization. In: Proceedings of IJCAI 2005, pp. 266\u2013271 (2005)","DOI":"10.1007\/11600930_71"},{"key":"52_CR22","unstructured":"R\u00e9gin, J.C.: A filtering algorithm for constraints of difference in csps. In: Proceedings of AAAI 1994, pp. 362\u2013367 (1994)"},{"key":"52_CR23","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-1-4419-1644-0_3","volume-title":"Hybrid Optimization","author":"J.C. R\u00e9gin","year":"2011","unstructured":"R\u00e9gin, J.C.: Global constraints: A survey. In: van Hentenryck, P., Milano, M. (eds.) Hybrid Optimization, pp. 63\u2013134. Springer, New York (2011)"},{"key":"52_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1007\/978-3-540-45193-8_117","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"G. Rochart","year":"2003","unstructured":"Rochart, G.: Explanations for global constraints. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 993\u2013993. Springer, Heidelberg (2003)"},{"key":"52_CR25","unstructured":"Rochart, G.: Explications et programmation par contraintes avanc\u00e9e. Ph.D. thesis, Nantes University, France (2005)"},{"key":"52_CR26","doi-asserted-by":"crossref","unstructured":"Roussel, O., Lecoutre, C.: Xml representation of constraint networks: Format xcsp 2.1. CoRR (2009)","DOI":"10.1002\/9780470611821"},{"issue":"3","key":"52_CR27","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/s10601-010-9103-2","volume":"16","author":"A. Schutt","year":"2011","unstructured":"Schutt, A., Feydy, T., Stuckey, P.J., Wallace, M.G.: Explaining the cumulative propagator. Constraints\u00a016(3), 250\u2013282 (2011)","journal-title":"Constraints"},{"key":"52_CR28","unstructured":"Silaghi, M.C.: Generalized Dynamic Ordering for Asynchronous Backtracking on DisCSPs. In: Proceedings of DCR 2006 (2006)"},{"key":"52_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.artint.2004.10.003","volume":"161","author":"M.C. Silaghi","year":"2005","unstructured":"Silaghi, M.C., Faltings, B.: Asynchronous aggregation and consistency in distributed constraint satisfaction. Artif. Intel.\u00a0161, 25\u201353 (2005)","journal-title":"Artif. Intel."},{"key":"52_CR30","doi-asserted-by":"crossref","unstructured":"Silaghi, M.C., Sam-Haroud, D., Faltings, B.: Asynchronous Search With Aggregations. In: Proceedings of AAAI 2000\/IAAI 2000, pp. 917\u2013922 (2000)","DOI":"10.1142\/9789812811042_0054"},{"key":"52_CR31","doi-asserted-by":"crossref","unstructured":"Wahbi, M.: Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems. John Wiley & Sons, Inc. (2013)","DOI":"10.1002\/9781118753620"},{"key":"52_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1007\/978-3-642-40627-0_52","volume-title":"Principles and Practice of Constraint Programming","author":"M. Wahbi","year":"2013","unstructured":"Wahbi, M., Ezzahir, R., Bessiere, C.: Asynchronous Forward Bounding Revisited. In: Schulte, C. (ed.) CP 2013. LNCS, vol.\u00a08124, pp. 708\u2013723. Springer, Heidelberg (2013)"},{"key":"52_CR33","unstructured":"Wahbi, M., Ezzahir, R., Bessiere, C., Bouyakhf, E.H.: DisChoco 2: A Platform for Distributed Constraint Reasoning. In: Proceedings of workshop on DCR 2011, pp. 112\u2013121 (2011), http:\/\/dischoco.sourceforge.net\/"},{"key":"52_CR34","doi-asserted-by":"crossref","unstructured":"Wahbi, M., Ezzahir, R., Bessiere, C., Bouyakhf, E.H.: Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search. In: Proceedings of ICTAI 2012, Athens, Greece, pp. 33\u201340 (November 2012)","DOI":"10.1109\/ICTAI.2012.14"},{"issue":"3","key":"52_CR35","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/s10601-013-9144-4","volume":"18","author":"M. Wahbi","year":"2013","unstructured":"Wahbi, M., Ezzahir, R., Bessiere, C., Bouyakhf, E.H.: Nogood-Based Asynchronous Forward-Checking Algorithms. Constraints\u00a018(3), 404\u2013433 (2013)","journal-title":"Constraints"},{"key":"52_CR36","doi-asserted-by":"crossref","unstructured":"Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: Distributed constraint satisfaction for formalizing distributed problem solving. In: Proceedings of 12th IEEE Int\u2019l Conf. Distributed Computing Systems, pp. 614\u2013621 (1992)","DOI":"10.1109\/ICDCS.1992.235101"},{"key":"52_CR37","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/69.729707","volume":"10","author":"M. Yokoo","year":"1998","unstructured":"Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. IEEE Trans. on Knowledge and Data Engineering\u00a010, 673\u2013685 (1998)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"issue":"4","key":"52_CR38","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10472-006-9033-2","volume":"46","author":"R. Zivan","year":"2006","unstructured":"Zivan, R., Meisels, A.: Message delay and DisCSP search algorithms. Annals of Mathematics and Artificial Intelligence\u00a046(4), 415\u2013439 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"2","key":"52_CR39","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s10601-008-9046-z","volume":"14","author":"R. Zivan","year":"2009","unstructured":"Zivan, R., Zazone, M., Meisels, A.: Min-Domain Retroactive Ordering for Asynchronous Backtracking. Constraints\u00a014(2), 177\u2013198 (2009)","journal-title":"Constraints"}],"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\/978-3-319-10428-7_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T22:30:08Z","timestamp":1689460208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10428-7_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104270","9783319104287"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10428-7_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}