Date of Original Version

9-2003

Type

Article

Abstract or Description

Constraint programming uses enumeration and search tree pruning to solve combinatorial optimization problems. In order to speed up this solution process, we investigate the use of semidefinite relaxations within constraint programming. In principle, we use the solution of a semidefinite relaxation to guide the traversal of the search tree, using a limited discrepancy search strategy. Furthermore, a semidefinite relaxation generally produces a tight bound for the solution value, which improves the pruning behaviour. Experimental results on stable set problem instances and maximum clique problem instances show that constraint programming can indeed greatly benfiet from semidefinite relaxations.

DOI

10.1016/j.cor.2005.01.011

Share

COinS
 

Published In

Computers & Operations Research , 33, 10, 2787-2804.