{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:13:17Z","timestamp":1767237197019},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735793"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73580-9_16","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T05:52:00Z","timestamp":1187848320000},"page":"184-199","source":"Crossref","is-referenced-by-count":15,"title":["Tailoring Solver-Independent Constraint Models: A Case Study with Essence\u2032 and Minion"],"prefix":"10.1007","author":[{"given":"Ian P.","family":"Gent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Rendl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Charnley, J., Colton, S., Miguel, I.: Automatic generation of implied constraints. In: ECAI. European Conference on Artificial Intelligence, pp. 73\u201377 (2006)"},{"key":"16_CR2","unstructured":"Frisch, A.M., Grum, M., Jefferson, C., Mart\u00ednez Hern\u00e1ndez, B., Miguel, I.: The design of essence: A constraint language for specifying combinatorial problems. In: IJCAI. International Joint Conference on Artificial Intelligence, pp. 80\u201387 (2007)"},{"issue":"10","key":"16_CR3","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1016\/j.artint.2006.03.002","volume":"170","author":"A.M. Frisch","year":"2006","unstructured":"Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Propagation algorithms for lexicographic ordering constraints. Artificial Intelligence\u00a0170(10), 803\u2013834 (2006)","journal-title":"Artificial Intelligence"},{"key":"16_CR4","unstructured":"Frisch, A.M., Jefferson, C., Mart\u00ednez Hern\u00e1ndez, B., Miguel, I.: The rules of constraint modelling. In: IJCAI. International Joint Conference on Artificial Intelligence, pp. 109\u2013116 (2005)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Frisch, A.M., Miguel, I., Walsh, T.: CGRASS: A system for transforming constraint satisfaction problems. In: International Workshop on Constraint Solving and Constraint Logic Programming, pp. 15\u201330 (2002)","DOI":"10.1007\/3-540-36607-5_2"},{"key":"16_CR6","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast scalable constraint solver. In: ECAI. European Conference on Artificial Intelligence, pp. 98\u2013102 (2006)"},{"key":"16_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":"I.P. 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.\u00a04204, pp. 182\u2013197. Springer, Heidelberg (2006)"},{"key":"16_CR8","unstructured":"Gent, I.P., Jefferson, C.A., Miguel, I., Petrie, K., Rendl, A.: Minion manual, version 0.4.1, http:\/\/minion.sourceforge.net"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1613\/jair.1351","volume":"21","author":"B. Hnich","year":"2004","unstructured":"Hnich, B., Walsh, T., Smith, B.M.: Dual modelling of permutation and injection problems. Journal of Artificial Intelligence Research (JAIR)\u00a021, 357\u2013391 (2004)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Prosser, P., Selensky, E.: A study of encodings of constraint satisfaction problems with 0\/1 variables. In: International Workshop on Constraint Solving and Constraint Logic Programming, pp. 121\u2013131 (2002)","DOI":"10.1007\/3-540-36607-5_9"},{"key":"16_CR11","unstructured":"R\u00e9gin, J.-C.: A filtering algorithm for constraints of difference in csps. In: National Conference on Artificial Intelligence (AAAI), pp. 362\u2013367 (1994)"},{"key":"16_CR12","unstructured":"Van Hentenryck, P., Carillon, J.-P.: Generality versus specificity: An experience with AI and OR techniques. In: National Conference on Artificial Intelligence (AAAI), pp. 660\u2013664 (1988)"},{"key":"16_CR13","volume-title":"Handbook of constraint programming","author":"W.-J. Hoeve van","year":"2006","unstructured":"van Hoeve, W.-J., Katriel, I.: Global constraints. In: Handbook of constraint programming, Elsevier, Amsterdam (2006)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","first-page":"215","volume-title":"Practical Aspects of Declarative Languages","author":"M.G. Banda de la","year":"2006","unstructured":"de la Banda, M.G., Marriott, K., Rafeh, R., Wallace, M.: From Zinc to Design Model. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/11564751_23","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"W. Harvey","year":"2005","unstructured":"Harvey, W., Winterer, T.: Solving the MOLR and Social Golfers Problems. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 286\u2013300. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73580-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:52:21Z","timestamp":1619517141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73580-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735793"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73580-9_16","relation":{},"subject":[]}}