Sciweavers

CP
2006
Springer
13 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
14 years 11 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