{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:18Z","timestamp":1725566178800},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232414"},{"type":"electronic","value":"9783540302018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30201-8_44","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T17:14:37Z","timestamp":1285175677000},"page":"604-618","source":"Crossref","is-referenced-by-count":9,"title":["Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Sadler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmen","family":"Gervet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","series-title":"Lecture Note Series","volume-title":"Surveys in Combinatorics London Mathematical Society","author":"Colbourn","year":"1999","unstructured":"Colbourn, Dinitz, Stinson: Applications of combinatorial designs to communications, cryptography, and networking. In: Surveys in Combinatorics London Mathematical Society. Lecture Note Series, vol.\u00a0187, Cambridge University Press, Cambridge (1999)"},{"issue":"3","key":"44_CR2","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Gervet, C.: Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language. CONSTRAINTS journal\u00a01(3), 191\u2013244 (1997)","journal-title":"CONSTRAINTS journal"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"Beldiceanu, N., Contejean, E.: Introducing Global Constraints in CHIP. In: Mathematical Computation Modelling, vol. 20(12) (1994)","DOI":"10.1016\/0895-7177(94)90127-9"},{"key":"44_CR4","unstructured":"R\u00e9gin, J.C.: A filtering algorithm for constraints of difference in csps. In: Proc. AAAI 1994 (1994)"},{"key":"44_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/3-540-46135-3_31","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"P. Flener","year":"2002","unstructured":"Flener, P., Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J., Walsh, T.: Breaking row and column symmetries in matrix models. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 462. Springer, Heidelberg (2002)"},{"key":"44_CR6","unstructured":"Gent, I.P., Prosser, P., Smith, B.M.: A 0\/1 encoding of the gaclex for pairs of vectors. In: ECAI\/W9 Modelling and Solving Problems with Constraints (2002)"},{"key":"44_CR7","unstructured":"Mackworth, A.: On reading sketch maps. In: IJCAI 1977, pp. 598\u2013606 (1977)"},{"key":"44_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-540-45193-8_49","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"T. Walsh","year":"2003","unstructured":"Walsh, T.: Consistency and propagation with multiset constraints: A formal viewpoint. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 724\u2013738. Springer, Heidelberg (2003)"},{"key":"44_CR9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1112\/jlms\/s1-10.37.26","volume":"10","author":"P. Hall","year":"1935","unstructured":"Hall, P.: On Representatives of Subsets. J. of London Math. Soc.\u00a010, 26\u201330 (1935)","journal-title":"J. of London Math. Soc."},{"key":"44_CR10","unstructured":"R\u00e9gin, J.C.: Generalized arc consistency for global cardinality constraint. In: Proc. AAAI 1996 (1996)"},{"key":"44_CR11","unstructured":"Sadler, A., Gervet, C.: Global filtering for the disjoint constraint on fixed cardinality sets. Technical Report IC-PARC-04-2, Imperial College, London (2004)"},{"key":"44_CR12","unstructured":"Sadler, A., Gervet, C.: Global reasoning on sets. In: FORMUL 2001 workshop in conjunction with CP 2001 (2001)"},{"key":"44_CR13","unstructured":"Puget, J.F.: A fast algorithm for the bound consistency of alldiff constraints. AAAI (1998)"},{"key":"44_CR14","unstructured":"Crawford, J., Ginsberg, M., Luks, E.M., Roy, A.: Symmetry breaking predicates for search problems. In: Fifth Int. Conf. on Knowledge Rep. and Reasoning (1996)"},{"key":"44_CR15","unstructured":"Gervet, C.: Conjunto: constraint logic programming with finite set domains. In: Proc. ILPS 1994 (1994)"},{"key":"44_CR16","unstructured":"Azevedo, F.: Cardinal: an extended set solver. Computational Logic (2000)"},{"key":"44_CR17","unstructured":"Schimpf, J., Cheadle, A.M., Harvey, W., Sadler, A., Shen, K., Wallace, M.: ECLiPSe. Technical Report 03-1, IC-Parc, Imperial College London (2003)"},{"key":"44_CR18","unstructured":"M\u00fcller, T., M\u00fcller, M.: Finite set constraints in Oz. In: 13. Workshop Logische Programmierung (1997)"},{"key":"44_CR19","unstructured":"Hnich, B., Kiziltan, Z., Walsh, T.: Combining symmetry breaking with other constraints: lexicographic ordering with sums. In: Proc. SymCon. (2003)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30201-8_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:54:24Z","timestamp":1619999664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30201-8_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232414","9783540302018"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30201-8_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}