9 search results - page 2 / 2 » Beyond Singleton Arc Consistency |
JAIR
2011
13 years 6 days ago
2011
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 ...
CPAIOR
2005
Springer
13 years 10 months ago
2005
Springer
A cardinality constraint imposes that each value of a set V must be taken a certain number of times by a set of variables X, whereas an among constraint imposes that a certain numb...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
We show that global constraints on finite domains like alldifferent can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reform...
SSDBM
2008
IEEE
13 years 11 months ago
2008
IEEE
Much real data consists of more than one dimension, such as financial transactions (eg, price × volume) and IP network flows (eg, duration × numBytes), and capture relationship...