Exploiting Semidefinite Relaxations in Constraint Programming

Willem Jan van Hoeve

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…