{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T07:29:38Z","timestamp":1757575778061,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319180076"},{"type":"electronic","value":"9783319180083"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-18008-3_19","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T07:32:51Z","timestamp":1429083171000},"page":"271-287","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["The Smart Table Constraint"],"prefix":"10.1007","author":[{"given":"Jean-Baptiste","family":"Mairy","sequence":"first","affiliation":[]},{"given":"Yves","family":"Deville","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Lecoutre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"19_CR1","unstructured":"Bacchus, F., Walsh, T.: Propagating logical combinations of constraints. In: IJCAI, pp. 35\u201340 (2005)"},{"key":"19_CR2","unstructured":"Bessiere, C., R\u00e9gin, J.-C.: Arc consistency for general constraint networks: preliminary results. In: Proceedings of IJCAI 1997, pp. 398\u2013404 (1997)"},{"key":"19_CR3","unstructured":"Bessiere, C., R\u00e9gin, J.-C.: Local consistency on conjunctions of constraints. In: Proceedings of ECAI 1998 Workshop on Non-binary constraints, pp. 53\u201359 (1998)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Carlson, B., Carlsson, M.: Compiling and executing disjunctions of finite domain constraints. In: Proceedings of ICLP 1995, pp. 117\u2013131 (1995)","DOI":"10.7551\/mitpress\/4298.003.0021"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46135-3_7","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"AM Frisch","year":"2002","unstructured":"Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Global constraints for lexicographic orderings. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 93\u2013108. Springer, Heidelberg (2002)"},{"issue":"10","key":"19_CR6","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1016\/j.artint.2006.03.002","volume":"170","author":"A Frisch","year":"2006","unstructured":"Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Propagation algorithms for lexicographic ordering constraints. Artificial Intelligence 170(10), 803\u2013834 (2006)","journal-title":"Artificial Intelligence"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11889205_15","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"IP Gent","year":"2006","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Watched literals for constraint propagation in minion. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 182\u2013197. Springer, Heidelberg (2006)"},{"key":"19_CR8","unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: Proceedings of AAAI 2007, pp. 191\u2013197 (2007)"},{"issue":"16","key":"19_CR9","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1016\/j.artint.2010.07.001","volume":"174","author":"C Jefferson","year":"2010","unstructured":"Jefferson, C., Moore, N.C.A., Nightingale, P., Petrie, K.E.: Implementing logical connectives in constraint programming. Artificial Intelligence 174(16), 1407\u20131429 (2010)","journal-title":"Artificial Intelligence"},{"key":"19_CR10","unstructured":"Jefferson, C., Nightingale, P.: Extending simple tabular reduction with short supports. In: Proceedings of IJCAI 2013, pp. 573\u2013579 (2013)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1007\/3-540-45578-7_49","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"G Katsirelos","year":"2001","unstructured":"Katsirelos, G., Bacchus, F.: GAC on conjunctions of constraints. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 610\u2013614. Springer, Heidelberg (2001)"},{"key":"19_CR12","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. 4741, pp. 379\u2013393. Springer, Heidelberg (2007)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Lecoutre, C.: Constraint Networks: Techniques and Algorithms. ISTE\/Wiley (2009)","DOI":"10.1002\/9780470611821"},{"issue":"4","key":"19_CR14","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10601-011-9107-6","volume":"16","author":"C Lecoutre","year":"2011","unstructured":"Lecoutre, C.: STR2: optimized simple tabular reduction for table constraints. Constraints 16(4), 341\u2013371 (2011)","journal-title":"Constraints"},{"key":"19_CR15","unstructured":"Lecoutre, C., Likitvivatanavong, C., Yap, R.H.C.: A path-optimal GAC algorithm for table constraints. In: Proceedings of ECAI 2012, pp. 510\u2013515 (2012)"},{"key":"19_CR16","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. 4204, pp. 284\u2013298. Springer, Heidelberg (2006)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-24664-0_15","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"O Lhomme","year":"2004","unstructured":"Lhomme, O.: Arc-consistency filtering algorithms for logical combinations of constraints. In: R\u00e9gin, J.-C., Rueher, M. (eds.) CPAIOR 2004. LNCS, vol. 3011, pp. 209\u2013224. Springer, Heidelberg (2004)"},{"key":"19_CR18","unstructured":"Lhomme, O.: Practical reformulations with table constraints. In: Proceedings of ECAI 2012, pp. 911\u2013912 (2012)"},{"key":"19_CR19","unstructured":"Lhomme, O., R\u00e9gin, J.-C.: A fast arc consistency algorithm for n-ary constraints. In: Proceedings of AAAI 2005, pp. 405\u2013410 (2005)"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"AK Mackworth","year":"1985","unstructured":"Mackworth, A.K., Freuder, E.C.: The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial intelligence 25(1), 65\u201374 (1985)","journal-title":"Artificial intelligence"},{"issue":"1","key":"19_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10601-013-9156-0","volume":"19","author":"J-B Mairy","year":"2014","unstructured":"Mairy, J.-B., Van Hentenryck, P., Deville, Y.: Optimal and efficient filtering algorithms for table constraints. Constraints 19(1), 77\u2013120 (2014)","journal-title":"Constraints"},{"key":"19_CR22","unstructured":"Meseguer, P., Torras, C.: Solving strategies for highly symmetric CSPs. In: Proceedings of IJCAI 1999, pp. 400\u2013405 (1999)"},{"key":"19_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.3749","volume":"46","author":"P Nightingale","year":"2013","unstructured":"Nightingale, P., Gent, I.P., Jefferson, C.A., Miguel, I.J.: Short and long supports for constraint propagation. Journal of Artificial Intelligence Research 46, 1\u201345 (2013)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"19_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/978-3-319-10428-7_44","volume-title":"Principles and Practice of Constraint Programming","author":"G Perez","year":"2014","unstructured":"Perez, G., R\u00e9gin, J.-C.: Improving GAC-4 for table and MDD constraints. In: O\u2019Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 606\u2013621. Springer, Heidelberg (2014)"},{"key":"19_CR25","unstructured":"R\u00e9gin, J.-C.: Improving the expressiveness of table constraints. In: Proceedings of CP 2011 Workshop on Constraint Modelling and Reformulation (2011)"},{"key":"19_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-85958-1_4","volume-title":"Principles and Practice of Constraint Programming","author":"H Simonis","year":"2008","unstructured":"Simonis, H., O\u2019Sullivan, B.: Search strategies for rectangle packing. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 52\u201366. Springer, Heidelberg (2008)"},{"issue":"18","key":"19_CR27","doi-asserted-by":"publisher","first-page":"3639","DOI":"10.1016\/j.ins.2007.03.030","volume":"177","author":"JR Ullmann","year":"2007","unstructured":"Ullmann, J.R.: Partition search for non-binary constraint satisfaction. Information Sciences 177(18), 3639\u20133678 (2007)","journal-title":"Information Sciences"},{"issue":"1\u20133","key":"19_CR28","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P Van Hentenryck","year":"1998","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(fd). The Journal of Logic Programming 37(1\u20133), 139\u2013164 (1998)","journal-title":"The Journal of Logic Programming"},{"key":"19_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-61708-6_78","volume-title":"KI-96: Advances in Artificial Intelligence","author":"J W\u00fcrtz","year":"1996","unstructured":"W\u00fcrtz, J., M\u00fcller, T.: Constructive disjunction revisited. In: G\u00f6rz, G., H\u00f6lldobler, S. (eds.) KI 1996. LNCS, vol. 1137, pp. 377\u2013386. Springer, Heidelberg (1996)"},{"key":"19_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-642-40627-0_53","volume-title":"Principles and Practice of Constraint Programming","author":"W Xia","year":"2013","unstructured":"Xia, W., Yap, R.H.C.: Optimizing STR algorithms with tuple compression. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 724\u2013732. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18008-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T11:47:14Z","timestamp":1717847234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-18008-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319180076","9783319180083"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18008-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}