13841 search results - page 6 / 2769 » Algorithms and Constraint Programming |
CPAIOR
2009
Springer
15 years 4 months ago
2009
Springer
Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for difficult constraint pro...
CP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We study the global cardinality constraint (gcc) and pro
ESOP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
IPL
2008
14 years 9 months ago
2008
Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...
CP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Fixed-width MDDs were introduced recently as a more refined alternative for the domain store to represent partial solutions to CSPs. In this work, we present a systemati...