Sciweavers

202 search results - page 1 / 41
» Improving the Global Constraint SoftPrec
Sort
View
ECAI
2010
Springer
13 years 3 months ago
Improving the Global Constraint SoftPrec
A soft global constraint SOFTPREC has been proposed recently for solving optimisation problems involving precedence relations. In this paper we present new pruning rules for this g...
David Lesaint, Deepak Mehta, Barry O'Sullivan, Lui...
CSCLP
2008
Springer
13 years 6 months ago
Combining Symmetry Breaking and Global Constraints
Abstract. We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common global constraints. We give a g...
George Katsirelos, Nina Narodytska, Toby Walsh
CP
2004
Springer
13 years 10 months ago
Improved Algorithms for the Global Cardinality Constraint
Abstract. We study the global cardinality constraint (gcc) and pro
Claude-Guy Quimper, Alejandro López-Ortiz, ...
DAC
2006
ACM
13 years 10 months ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
CPAIOR
2006
Springer
13 years 8 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