Sciweavers

CP
2006
Springer
15 years 10 months ago
Dynamic Lex Constraints
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 :...
Jean-François Puget
CP
2005
Springer
16 years 1 days ago
Automatic Detection of Variable and Value Symmetries
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
Jean-Francois Puget