Solving Constraint Satisfaction problems with tree-decomposition

Arie M.C.A. Koster*, C.P.M. van Hoesel, A.W.J. Kolen

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

34 Citations (Web of Science)
290 Downloads (Pure)


In this paper, we describe a computational study to solve hard partial constraint satisfaction problems (PCSPs) to optimality. The PCSP is a general class of problems that contains a diversity of problems, such as generalized subgraph problems, MAX-SAT, Boolean quadratic programs, and assignment problems like coloring and frequency planning. We present a dynamic programming algorithm that solves PCSPs based on the structure (tree decomposition) of the underlying constraint graph. With the use of dominance and bounding techniques, we are able to solve small and medium-size instances of the problem to optimality and to obtain good lower bounds for large-size instances within reasonable time and memory limits.
Original languageEnglish
Pages (from-to)170-180
Issue number3
Publication statusPublished - 1 Jan 2002

Cite this