HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems
Constraint programming is an approach for solving mostly combinatorial problems by declaratively describing the problem and using special solving algorithms. Restrictions called constraints are stated over the problem variables that reduces the values each variable can take. In some cases it is not possible to satisfy all constraints or the user can state some preferences on them. One of the techniques to solve this kind of problems is modelling and solving the problem as a constraint hierarchy. This paper describes a hierarchical constraint solver HIS, which is developed in C++ using ILOG Solver as an ordinary constraint solver. HIS is based on refining algorithm. As an application a layout problem is considered.
KeywordsConstraint Satisfaction Constraint Satisfaction Problem Soft Constraint Hard Constraint Layout Problem
Unable to display preview. Download preview PDF.
- 1.Bartak, R.: A Theoretical Framework for Constraint Hierarchy Solvers. In: Proceedings of the 15th European Conference on Artificial Intelligence, pp. 146–150. IOS Press, Amsterdam (2002)Google Scholar
- 2.Bartak, R.: Modeling Soft Constraints: A Survey. Charles University, Prague (2002)Google Scholar
- 3.Bistarelli, S., Codognet, P., Hui, H.K.C., Lee, J.H.M.: Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833. Springer, Heidelberg (2003)Google Scholar
- 4.Borning, A., Duisberg, R., Freeman-Benson, B., Kramer, A., Woolf, M.: Constraint Hierarchies. In: Proceedings of the ACM Conference on Object Oriented Programming Systems, Languages and Applications, pp. 48–60 (1987)Google Scholar
- 7.Freeman-Benson, B., Wilson, M., Borning, A.: DeltaStar: A General Algorithm for Incremental Constraint Satisfaction of Constraint Hierarchies. In: 11th Annual IEEE Phoenix Conference on Computers and Communications, pp. 561–568 (1992)Google Scholar
- 10.Sannella, M.: The SkyBlue Constraint Solver and Its Applications. In: Proceedings of the First Workshop on Principles and Practice of Constraint Programming. MIT Press, Cambridge (1994)Google Scholar