Abstract
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative models of a given problem, and formulating an effective model requires a great deal of expertise. To reduce this bottleneck, the Essence language allows the specification of a problem abstractly, i.e. without making modelling decisions. This specification is refined automatically by the Conjure system to a solver-independent constraint modelling language Essence′. However, there is still significant work involved in translating an Essence′ model for use with a particular constraint solver. This paper discusses this ‘tailoring’ process with reference to the constraint solver Minion.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Charnley, J., Colton, S., Miguel, I.: Automatic generation of implied constraints. In: ECAI. European Conference on Artificial Intelligence, pp. 73–77 (2006)
Frisch, A.M., Grum, M., Jefferson, C., Martínez Hernández, B., Miguel, I.: The design of essence: A constraint language for specifying combinatorial problems. In: IJCAI. International Joint Conference on Artificial Intelligence, pp. 80–87 (2007)
Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Propagation algorithms for lexicographic ordering constraints. Artificial Intelligence 170(10), 803–834 (2006)
Frisch, A.M., Jefferson, C., Martínez Hernández, B., Miguel, I.: The rules of constraint modelling. In: IJCAI. International Joint Conference on Artificial Intelligence, pp. 109–116 (2005)
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–30 (2002)
Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast scalable constraint solver. In: ECAI. European Conference on Artificial Intelligence, pp. 98–102 (2006)
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–197. Springer, Heidelberg (2006)
Gent, I.P., Jefferson, C.A., Miguel, I., Petrie, K., Rendl, A.: Minion manual, version 0.4.1, http://minion.sourceforge.net
Hnich, B., Walsh, T., Smith, B.M.: Dual modelling of permutation and injection problems. Journal of Artificial Intelligence Research (JAIR) 21, 357–391 (2004)
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–131 (2002)
Régin, J.-C.: A filtering algorithm for constraints of difference in csps. In: National Conference on Artificial Intelligence (AAAI), pp. 362–367 (1994)
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–664 (1988)
van Hoeve, W.-J., Katriel, I.: Global constraints. In: Handbook of constraint programming, Elsevier, Amsterdam (2006)
de la Banda, M.G., Marriott, K., Rafeh, R., Wallace, M.: From Zinc to Design Model. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 215–229. Springer, Heidelberg (2006)
Harvey, W., Winterer, T.: Solving the MOLR and Social Golfers Problems. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 286–300. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gent, I.P., Miguel, I., Rendl, A. (2007). Tailoring Solver-Independent Constraint Models: A Case Study with Essence′ and Minion . In: Miguel, I., Ruml, W. (eds) Abstraction, Reformulation, and Approximation. SARA 2007. Lecture Notes in Computer Science(), vol 4612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73580-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-73580-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73579-3
Online ISBN: 978-3-540-73580-9
eBook Packages: Computer ScienceComputer Science (R0)