{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T08:00:36Z","timestamp":1751097636595},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153952"},{"type":"electronic","value":"9783642153969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15396-9_19","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T07:00:16Z","timestamp":1283756416000},"page":"206-220","source":"Crossref","is-referenced-by-count":3,"title":["Generating Special-Purpose Stateless Propagators for Arbitrary Constraints"],"prefix":"10.1007","author":[{"given":"Ian P.","family":"Gent","sequence":"first","affiliation":[]},{"given":"Chris","family":"Jefferson","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Nightingale","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"19_CR1","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1017\/S1471068401000072","volume":"1","author":"K.R. Apt","year":"2001","unstructured":"Apt, K.R., Monfroy, E.: Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming\u00a01(6), 713\u2013750 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S1574-6526(06)80007-6","volume-title":"Handbook of Constraint Programming","author":"C. Bessiere","year":"2006","unstructured":"Bessiere, C.: Constraint Propagation. In: Handbook of Constraint Programming, pp. 29\u201383. Elsevier Science Inc., New York (2006)"},{"key":"19_CR3","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C.: Arc consistency for general constraint networks: Preliminary results. In: IJCAI, vol. (1), pp. 398\u2013404 (1997)"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2005.02.004","volume":"165","author":"C. Bessi\u00e8re","year":"2005","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C., Yap, R., Zhang, Y.: An optimal coarse-grained arc consistency algorithm. Artificial Intelligence\u00a0165, 165\u2013185 (2005)","journal-title":"Artificial Intelligence"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1023\/B:ANOR.0000032569.86938.2f","volume":"130","author":"R. Bosch","year":"2004","unstructured":"Bosch, R., Trick, M.: Constraint programming and hybrid formulations for three life designs. Annals of Operations Research\u00a0130, 41\u201356 (2004)","journal-title":"Annals of Operations Research"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10601-009-9087-y","volume":"15","author":"K.C. Cheng","year":"2010","unstructured":"Cheng, K.C., Yap, R.H.: An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Constraints\u00a015(2), 265\u2013304 (2010)","journal-title":"Constraints"},{"key":"19_CR7","first-page":"78","volume-title":"Proceeding of the 2006 Conference on ECAI 2006","author":"K.C.K. Cheng","year":"2006","unstructured":"Cheng, K.C.K., Yap, R.H.C.: Maintaining generalized arc consistency on ad-hoc n-ary boolean constraints. In: Proceeding of the 2006 Conference on ECAI 2006, pp. 78\u201382. IOS Press, Amsterdam (2006)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-04244-7_22","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"G. Chu","year":"2009","unstructured":"Chu, G., Stuckey, P.J., de la Banda, M.G.: Using relaxations in maximum density still life. In: Gent, I.P. (ed.) CP 2009. LNCS, vol.\u00a05732, pp. 258\u2013273. Springer, Heidelberg (2009)"},{"key":"19_CR9","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press\/McGraw-Hill (2001)"},{"key":"19_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. Journal of Artificial Intelligence Research\u00a017, 229\u2013264 (2002)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"19_CR11","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast, scalable, constraint solver. In: Proceedings 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 98\u2013102 (2006)"},{"key":"19_CR12","first-page":"191","volume-title":"AAAI 2007: Proceedings of the 22nd National Conference on Artificial Intelligence","author":"I.P. Gent","year":"2007","unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: AAAI 2007: Proceedings of the 22nd National Conference on Artificial Intelligence, pp. 191\u2013197. AAAI Press, Menlo Park (2007)"},{"key":"19_CR13","first-page":"599","volume-title":"Proceedings of ECAI-2000","author":"I.P. Gent","year":"2000","unstructured":"Gent, I.P., Smith, B.M.: Symmetry breaking in constraint programming. In: Horn, W. (ed.) Proceedings of ECAI-2000, pp. 599\u2013603. IOS Press, Amsterdam (2000)"},{"issue":"10","key":"19_CR14","doi-asserted-by":"publisher","first-page":"2935","DOI":"10.1016\/j.cor.2005.01.018","volume":"33","author":"C. Jefferson","year":"2006","unstructured":"Jefferson, C., Miguel, A., Miguel, I., Tarim, A.: Modelling and solving english peg solitaire. Computers and Operations Research\u00a033(10), 2935\u20132959 (2006)","journal-title":"Computers and Operations Research"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-540-74970-7_28","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"G. Katsirelos","year":"2007","unstructured":"Katsirelos, G., Walsh, T.: A compression algorithm for large arity extensional constraints. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 379\u2013393. Springer, Heidelberg (2007)"},{"key":"19_CR16","first-page":"125","volume-title":"IJCAI 2007: Proceedings of the 20th International Joint Conference on Artifical Intelligence","author":"C. Lecoutre","year":"2007","unstructured":"Lecoutre, C., Hemery, F.: A study of residual supports in arc consistency. In: IJCAI 2007: Proceedings of the 20th International Joint Conference on Artifical Intelligence, pp. 125\u2013130. Morgan Kaufmann Publishers Inc., San Francisco (2007)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/11889205_22","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"C. Lecoutre","year":"2006","unstructured":"Lecoutre, C., Szymanek, R.: Generalized arc consistency for positive table constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 284\u2013298. Springer, Heidelberg (2006)"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-46135-3_27","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"B.M. Smith","year":"2002","unstructured":"Smith, B.M.: A dual graph translation of a problem in \u2018Life\u2019. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 402\u2013414. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15396-9_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:53:22Z","timestamp":1619787202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15396-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153952","9783642153969"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15396-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}