Interaction of constraint programming and local search for optimisation problems

Abstract

In this paper we show, for the specific problem of test pattern optimisation, that adapting constraint propagation with results obtained from local search outperforms the use of each of these techniques alone. We show that a tool we developed to solve this problem using such approach with multivalued logics achieves better results than those obtained with a highly efficient tool based on an integer linear programming formulation over a SAT model.