Interaction of Constraint Programming and Local Search for Optimisation Problems

Authors:
Francisco Azevedo;Pedro Barahona
Affiliations:
-;-
Venue:
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Year:
2001

Citing 1
Cited 2

Pattern generation for a deterministic BIST scheme

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design

Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic

Constraints
A framework for constructing complete algorithms based on local search

AI Communications - Constraint Programming for Planning and Scheduling

Quantified Score

Hi-index	0.00

Visualization

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.