1939 search results - page 1 / 388 » Dynamic Lex Constraints |
91
Voted
CP
2006
Springer
15 years 1 months ago
2006
Springer
Many symmetry breaking methods have been proposed so far. Previous works have shown that these methods could be combined together under some conditions. We use a different angle :...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
IEEEHPCS
2010
14 years 8 months ago
2010
148
Voted
CP
2009
Springer
15 years 10 months ago
2009
Springer
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...
149
Voted
CP
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents the first experimental evaluation of the length-lex domain for set variables. The implementation is based on bound-consistency algorithms proposed in earlier wo...