HIS: Hierarchical solver for over-constrained satisfaction problems

Yumak Z., Yakhno T.

ARTIFICIAL INTELLIGENCE AND NEURAL NETWORKS, vol.3949, pp.194-202, 2006 (SCI-Expanded) identifier

  • Publication Type: Article / Article
  • Volume: 3949
  • Publication Date: 2006
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, EMBASE, MathSciNet, Philosopher's Index, zbMATH
  • Page Numbers: pp.194-202
  • Dokuz Eylül University Affiliated: No


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.