1939 search results - page 1 / 388 » Dynamic Lex Constraints |
CP
2006
Springer
13 years 9 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
14 years 2 days ago
2007
IEEE
IEEEHPCS
2010
13 years 4 months ago
2010
CP
2009
Springer
14 years 6 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...
CP
2009
Springer
14 years 6 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...