Sciweavers

Share
AAAI
1994

Improving Repair-Based Constraint Satisfaction Methods by Value Propagation

9 years 3 months ago
Improving Repair-Based Constraint Satisfaction Methods by Value Propagation
A constraint satisfaction problem (CSP) is a problem to find an assignment that satisfies given constraints. An interesting approach to CSP is a repair-based method that first generates an initial assignment, then repairs it by minimizing the number of conflicts. Min-conflicts hill climbing (MCHC) and GSAT are typical examples of this approach. A serious problem with this approach is that it is sometimes trapped by local minima. This makes it difficult to use repair-based methods for solving problems with many local minima. We propose a new procedure, EFLOP, for escaping from local minima. EFLOP changes the' values of mutually dependent variables by propagating changes through satisfied constraints. We can greatly improve the performance of repairbased methods by combining them with EFLOP. We tested EFLOP with graph colorability problems, randomly generated binary CSPs and propositional satisfiability problems. EFLOP improved the performance of MCHC and GSAT for all experiments a...
Nobuhiro Yugami, Yuiko Ohta, Hirotaka Hara
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1994
Where AAAI
Authors Nobuhiro Yugami, Yuiko Ohta, Hirotaka Hara
Comments (0)
books