Sciweavers

79 search results - page 12 / 16
» Arc-Consistency and Arc-Consistency Again
Sort
View
FLAIRS
2001
13 years 9 months ago
Nonbinary Constraint Satisfaction: From the Dual to the Primal
Nonbinaryconstraints haverecently beenstudiedquite extensivelysincethey representreal life problemsverynaturally. Specifically,extensionsto binaryarc consistencyinto generalised a...
Sivakumar Nagarajan, Scott D. Goodwin, Abdul Satta...
IJCAI
2001
13 years 9 months ago
Refining the Basic Constraint Propagation Algorithm
Constraint propagation is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the us...
Christian Bessière, Jean-Charles Rég...
AI
2005
Springer
13 years 7 months ago
Asynchronous aggregation and consistency in distributed constraint satisfaction
Constraint Satisfaction Problems (CSP) have been very successful in problem-solving tasks ranging from resource allocation and scheduling to configuration and design. Increasingly...
Marius-Calin Silaghi, Boi Faltings
JAIR
2011
124views more  JAIR 2011»
13 years 2 months ago
Second-Order Consistencies
In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build ...
Christophe Lecoutre, Stéphane Cardon, Julie...
CP
2009
Springer
14 years 8 months ago
Constraints of Difference and Equality: A Complete Taxonomic Characterisation
Abstract. Many combinatorial problems encountered in practice involve constraints that require that a set of variables take distinct or equal values. The AllDifferent constraint, i...
Emmanuel Hebrard, Dániel Marx, Barry O'Sull...