A Conflict based SAW method for constraint satisfaction problems

Rafi Shalom, Mireille Avigal, Ron Unger

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

Evolutionary algorithms have employed the SAW (Stepwise Adaptation ofWeights) method in order to solve CSPs (Constraint Satisfaction Problems). This method originated in hill-climbing algorithms used to solve instances of 3-SAT by adapting a weight for each clause. Originally, adaptation of weights for solving CSPs was done by assigning a weight for each variable or each constraint. Here we investigate a SAW method which assigns a weight for each conflict. Two simple stochastic CSP solvers are presented. For both we show that constraint based SAW and conflict based SAW perform equally on easy CSP samples, but the conflict based SAW outperforms the constraint based SAW when applied to hard CSPs. Moreover, the best of the two suggested algorithms in its conflict based SAWversion performs better than the best known evolutionary algorithm for CSPs that uses weight adaptation, and even better than the best known evolutionary algorithmfor CSPs in general.

Original languageEnglish
Title of host publication2009 IEEE Congress on Evolutionary Computation, CEC 2009
Pages373-380
Number of pages8
DOIs
StatePublished - 2009
Event2009 IEEE Congress on Evolutionary Computation, CEC 2009 - Trondheim, Norway
Duration: 18 May 200921 May 2009

Publication series

Name2009 IEEE Congress on Evolutionary Computation, CEC 2009

Conference

Conference2009 IEEE Congress on Evolutionary Computation, CEC 2009
Country/TerritoryNorway
CityTrondheim
Period18/05/0921/05/09

Fingerprint

Dive into the research topics of 'A Conflict based SAW method for constraint satisfaction problems'. Together they form a unique fingerprint.

Cite this