Sciweavers

203 search results - page 2 / 41
» On the consistency of cardinal direction constraints
Sort
View
CONSTRAINTS
2007
89views more  CONSTRAINTS 2007»
13 years 7 months ago
Cardinal: A Finite Sets Constraint Solver
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
Francisco Azevedo
CPAIOR
2006
Springer
13 years 11 months ago
Improved Algorithm for the Soft Global Cardinality Constraint
Abstract. We propose two algorithms achieving generalized arc consistency for the soft global cardinality constraint with variable-based violation and with value-based violation. T...
Alessandro Zanarini, Michela Milano, Gilles Pesant
DASFAA
2010
IEEE
166views Database» more  DASFAA 2010»
14 years 2 months ago
The Objects Interaction Matrix for Modeling Cardinal Directions in Spatial Databases
Abstract. Besides topological relations and approximate relations, cardinal directions have turned out to be an important class of qualitative spatial relations. In spatial databas...
Tao Chen, Markus Schneider, Ganesh Viswanathan, We...
CPAIOR
2005
Springer
14 years 28 days ago
Combination of Among and Cardinality Constraints
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...
Jean-Charles Régin
CP
2009
Springer
14 years 8 months ago
On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency
The length-lex representation for set variables orders all subsets of a given universe of values according to cardinality and lexicography. To achieve length-lex bounds consistency...
Meinolf Sellmann