{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T21:52:48Z","timestamp":1782856368452,"version":"3.54.5"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,2,26]],"date-time":"2013-02-26T00:00:00Z","timestamp":1361836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1007\/s10601-012-9138-7","type":"journal-article","created":{"date-parts":[[2013,2,25]],"date-time":"2013-02-25T22:41:00Z","timestamp":1361832060000},"page":"307-343","source":"Crossref","is-referenced-by-count":3,"title":["Multiset variable representations and constraint propagation"],"prefix":"10.1007","volume":"18","author":[{"given":"Y. C.","family":"Law","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J. H. M.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T.","family":"Walsh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M. H. C.","family":"Woo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,2,26]]},"reference":[{"issue":"1","key":"9138_CR1","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s10601-006-9012-6","volume":"12","author":"F Azevedo","year":"2007","unstructured":"Azevedo, F. (2007). Cardinal: a finite sets constraint solver. Constraints, 12(1), 93\u2013129.","journal-title":"Constraints"},{"key":"9138_CR2","doi-asserted-by":"crossref","unstructured":"Azevedo, F., & Barahona, P. (2000). Modelling digital circuits problems with set constraints. In Proceedings of the 1st international conference on computational logic (pp.\u00a0414\u2013428).","DOI":"10.1007\/3-540-44957-4_28"},{"issue":"1","key":"9138_CR3","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/0097-3165(80)90048-5","volume":"29","author":"FE Bennett","year":"1980","unstructured":"Bennett, F.E., & Mendelsohn, E. (1980). Extended (2, 4)-designs. Journal of Combinatorial Theory, Series A, 29(1), 74\u201386.","journal-title":"Journal of Combinatorial Theory, Series A"},{"key":"9138_CR4","unstructured":"Debruyne, R., & Bessi\u00e8re, C. (1997). Some practicable filtering techniques for the constraint satisfaction problem. In Proceedings of the 15th international joint conference on artificial intelligence (pp. 412\u2013417)."},{"key":"9138_CR5","unstructured":"Gecode Team (2006). Gecode: Generic constraint development environment. Available from http:\/\/www.gecode.org ."},{"key":"9138_CR6","doi-asserted-by":"crossref","unstructured":"Gent, I.P., & Walsh, T. (1999). CSPLib: a benchmark library for constraints. Technical report, Technical report APES-09-1999. A shorter version appears in Proceedings of the 5th international conference on principles and practices of constraint programming.","DOI":"10.1007\/978-3-540-48085-3_36"},{"key":"9138_CR7","unstructured":"Gervet, C. (1994). Conjunto: constraint logic programming with finite set domains. In Proceedings of the 1994 symposium on logic programming (pp.\u00a0339\u2013358)."},{"issue":"3","key":"9138_CR8","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C Gervet","year":"1997","unstructured":"Gervet, C. (1997). Interval propagation to reason about sets: definition and implementation of a practical language. Constraints, 1(3), 191\u2013244.","journal-title":"Constraints"},{"key":"9138_CR9","unstructured":"Gervet, C., & Van Hentenryck, P. (2006). Length-lex ordering for set csps. In Proceedings of the 21st national conference on artificial intelligence (pp.\u00a048\u201353)."},{"key":"9138_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s10462-005-4607-7","volume":"24","author":"P Hawkins","year":"2005","unstructured":"Hawkins, P., Lagoon, V., Stuckey, P.J. (2005). Solving set constraint satisfaction problems using ROBDDs. Journal of Artificial Intelligence Research, 24, 109\u2013156.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9138_CR11","unstructured":"ILOG (2003). ILOG solver 6.0 reference manual."},{"issue":"3","key":"9138_CR12","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/BF01844505","volume":"8","author":"DM Johnson","year":"1972","unstructured":"Johnson, D.M., & Mendelsohn, N.S. (1972). Extended triple systems. Aequationes Mathematicae, 8(3), 291\u2013298.","journal-title":"Aequationes Mathematicae"},{"key":"9138_CR13","unstructured":"Laburthe, F. (2000). Choco: implementing a CP kernel. In CP00 post conference workshop on techniques for implementing constraint programming systems (TRICS) (pp.\u00a071\u201385)."},{"key":"9138_CR14","doi-asserted-by":"crossref","unstructured":"Lagoon, V., & Stuckey, P.J. (2004). Set domain propagation using ROBDDs. In Proceedings of the 10th international conference on principles and practice of constraint programming (pp.\u00a0347\u2013361).","DOI":"10.1007\/978-3-540-30201-8_27"},{"key":"9138_CR15","unstructured":"Law, Y.C., Lee, J.H.M., Woo, M.H.C. (2009). Variety reasoning for multiset constraint propagation. In Proceedings of the 21st international joint conference on artificial intelligence (pp.\u00a0552\u2013558)."},{"issue":"1","key":"9138_CR16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A.K. (1977). Consistency in networks of relations. Artificial Intelligence, 8(1), 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"9138_CR17","unstructured":"Mohr, R., & Masini, G. (1988). Good old discrete relaxation. In Proceedings of the 8th European conference on artificial intelligence (pp.\u00a0651\u2013656)."},{"key":"9138_CR18","unstructured":"M\u00fcller, T. (2001). Constraint propagation in Mozart. Doctoral dissertation, Universit\u00e4t des Saarlandes, Germany."},{"key":"9138_CR19","unstructured":"M\u00fcller, T., & M\u00fcller, M. (1997). Finite set constraints in Oz. In 13. Workshop logische programmierung (pp.\u00a0104\u2013115)."},{"key":"9138_CR20","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"BA Nadel","year":"1989","unstructured":"Nadel, B.A. (1989). Constraint satisfaction algorithms. Computational Intelligence, 5, 188\u2013224.","journal-title":"Computational Intelligence"},{"issue":"1","key":"9138_CR21","first-page":"179","volume":"21","author":"EY Park","year":"2008","unstructured":"Park, E.Y., & Blake, I. (2008). Construction of extended Steiner systems for information retrieval. Revista Matem\u00e1tica Complutense, 21(1), 179\u2013190.","journal-title":"Revista Matem\u00e1tica Complutense"},{"key":"9138_CR22","doi-asserted-by":"crossref","unstructured":"Walsh, T. (2003). Consistency and propagation with multiset constraints: a formal viewpoint. In Proceedings of the 9th international conference on principles and practice of constraint programming (pp.\u00a0724\u2013738).","DOI":"10.1007\/978-3-540-45193-8_49"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-012-9138-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-012-9138-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-012-9138-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T03:26:50Z","timestamp":1562729210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-012-9138-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,26]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["9138"],"URL":"https:\/\/doi.org\/10.1007\/s10601-012-9138-7","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2,26]]}}}