Extending GENET with lazy arc consistency

  • Authors:

  • P. J. Stuckey;V. Tam

  • Affiliations:

  • Dept. of Comput. Sci., Melbourne Univ., Parkville, Vic.;-

  • Venue:
  • IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many important applications, such as graph coloring, scheduling and production planning, can be solved by GENET, a local search method which is used to solve binary constraint satisfaction problems (CSPs). Where complete search methods are typically augmented with consistency methods to reduce the search, local search methods are not. We propose a consistency technique, lazy arc consistency, which is suitable for use within GENET. We show it can improve the efficiency of the GENET search on some instances of binary CSPs, and does not suffer the overhead of full arc consistency