Domain Filtering Consistencies

06/03/2011
by   C. Bessiere, et al.
0

Enforcing local consistencies is one of the main features of constraint reasoning. Which level of local consistency should be used when searching for solutions in a constraint network is a basic question. Arc consistency and partial forms of arc consistency have been widely studied, and have been known for sometime through the forward checking or the MAC search algorithms. Until recently, stronger forms of local consistency remained limited to those that change the structure of the constraint graph, and thus, could not be used in practice, especially on large networks. This paper focuses on the local consistencies that are stronger than arc consistency, without changing the structure of the network, i.e., only removing inconsistent values from the domains. In the last five years, several such local consistencies have been proposed by us or by others. We make an overview of all of them, and highlight some relations between them. We compare them both theoretically and experimentally, considering their pruning efficiency and the time required to enforce them.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/13/1998

The Essence of Constraint Propagation

We show that several constraint propagation algorithms (also called (loc...
research
09/24/2009

Flow-Based Propagators for the SEQUENCE and Related Global Constraints

We propose new filtering algorithms for the SEQUENCE constraint and some...
research
08/18/2017

Exploring Directional Path-Consistency for Solving Constraint Networks

Among the local consistency techniques used for solving constraint netwo...
research
01/16/2014

Second-Order Consistencies

In this paper, we propose a comprehensive study of second-order consiste...
research
08/30/2010

Improving the Performance of maxRPC

Max Restricted Path Consistency (maxRPC) is a local consistency for bina...
research
04/20/2017

On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns

Singleton arc consistency is an important type of local consistency whic...
research
06/13/2016

A Probabilistic-Based Model for Binary CSP

This work introduces a probabilistic-based model for binary CSP that pro...

Please sign up or login with your details

Forgot password? Click here to reset