{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:23:03Z","timestamp":1725492183752},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74970-7_28","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T23:49:08Z","timestamp":1191973748000},"page":"379-393","source":"Crossref","is-referenced-by-count":37,"title":["A Compression Algorithm for Large Arity Extensional Constraints"],"prefix":"10.1007","author":[{"given":"George","family":"Katsirelos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toby","family":"Walsh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.-C.: Arc consistency for general constraint networks: Preliminary results. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, pp. 398\u2013404 (1997)"},{"key":"28_CR2","unstructured":"Carlsson, M.: Filtering for the case constraint. Talk given at Advanced School on Global Constraints, Samos, Greece (2006)"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45578-7_6","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"F. Focacci","year":"2001","unstructured":"Focacci, F., Milano, M.: Global cut framework for removing symmetries. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, Springer, Heidelberg (2001)"},{"key":"28_CR4","unstructured":"Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: Proceedings of the Twenty Second Conference on Artificial Intelligence (to appear, 2007)"},{"issue":"1","key":"28_CR5","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0020-0190(76)90095-8","volume":"5","author":"L. Hyafil","year":"1976","unstructured":"Hyafil, L., Rivest, R.L.: Constructing optimal binary decision trees is np-complete. Information Processing Letters\u00a05(1), 15\u201317 (1976)","journal-title":"Information Processing Letters"},{"key":"28_CR6","unstructured":"Katsirelos, G., Bacchus, F.: Generalized nogoods in CSPs. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (2005)"},{"key":"28_CR7","unstructured":"Lecoutre, C., Hemery, F.: A study of residual supports in arc consistency. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, pp. 125\u2013130 (2007)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. Springer, Heidelberg (2006)"},{"key":"28_CR9","unstructured":"Lhomme, O., R\u00e9gin, J.-C.: A fast arc consistency algorithm for n-ary constraints. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005) (2005)"},{"key":"28_CR10","first-page":"81","volume":"1","author":"J. Quinlan","year":"1986","unstructured":"Quinlan, J.: Induction of decision trees. Machine Learning\u00a01, 81\u2013106 (1986)","journal-title":"Machine Learning"},{"key":"28_CR11","volume-title":"Programs for Machine Learning","author":"J. Quinlan","year":"1993","unstructured":"Quinlan, J.: Programs for Machine Learning. Morgan Kaurmann Publishers, San Francisco (1993)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/11564751_38","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"J.-C. R\u00e9gin","year":"2005","unstructured":"R\u00e9gin, J.-C.: AC-*: A configurable, generic and adaptive arc consistency algorithm. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 505\u2013519. Springer, Heidelberg (2005)"},{"key":"28_CR13","unstructured":"van Dongen, M., Lecoutre, C., Wallace, R., Zhang, Y.: 2005 CSP solver competition. In: van Dongen, M. (ed.) Second International Workshop on Constraint Propagation and Implementation (2005)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74970-7_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:49:16Z","timestamp":1619520556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74970-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749691"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74970-7_28","relation":{},"subject":[]}}