Results 1  10
of
123,384
Dynamic Symmetry Breaking Constraints
, 2008
"... We present a general method for dynamically posting symmetry breaking constraints during search. The basic idea is very simple. Given any set of symmetry breaking constraints, if during search a symmetry of one of these constraints is entailed and this is consistent with previously posted symmetry ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We present a general method for dynamically posting symmetry breaking constraints during search. The basic idea is very simple. Given any set of symmetry breaking constraints, if during search a symmetry of one of these constraints is entailed and this is consistent with previously posted symmetry
General symmetry breaking constraints
 In: 12th International Conference on Principles and Practices of Constraint Programming (CP2006), SpringerVerlag
, 2006
"... Abstract. We present some general constraints for breaking symmetries in constraint satisfaction problems. These constraints can be used to break symmetries acting on variables, values, or both. We also consider symmetry breaking constraints to deal with conditional symmetries, and symmetries acting ..."
Abstract

Cited by 28 (16 self)
 Add to MetaCart
Abstract. We present some general constraints for breaking symmetries in constraint satisfaction problems. These constraints can be used to break symmetries acting on variables, values, or both. We also consider symmetry breaking constraints to deal with conditional symmetries, and symmetries
Symmetries of Symmetry Breaking Constraints
"... Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each symmetry class. We use these observations in two methods for eliminating s ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each symmetry class. We use these observations in two methods for eliminating
Arities of Symmetry Breaking Constraints
"... Abstract. Static symmetry breaking is a wellestablished technique to speed up the solving process of symmetric Constraint Satisfaction Programs (csps). Static symmetry breaking suffers from two inherent problems: symmetry breaking constraints come in great numbers and are of high arity. Here, we ..."
Abstract
 Add to MetaCart
Abstract. Static symmetry breaking is a wellestablished technique to speed up the solving process of symmetric Constraint Satisfaction Programs (csps). Static symmetry breaking suffers from two inherent problems: symmetry breaking constraints come in great numbers and are of high arity. Here, we
Sets of Symmetry Breaking Constraints
 Proc. Symcon
, 2005
"... [Puget, 2004] has shown that if the symmetry in a constraint satisfaction problem acts only on the variables and there is also an allDifferent constraint on the variables, the symmetry can be eliminated by adding a small number of constraints, linear in the number of variables. In this paper, Puget’ ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
’s procedure for finding a set of symmetrybreaking constraints is extended to find all possible distinct sets. It is shown that there can be exponentially many distinct sets of symmetry breaking constraints, leading to the need to choose between them. The choice depends on how the problem
General Symmetry Breaking Constraints
"... Abstract. We present some general constraints for breaking symmetries in constraint satisfaction problems. These constraints can be used to break symmetries acting on variables, values, or both. We also consider symmetry breaking constraints to deal with conditional symmetries, and symmetries acting ..."
Abstract
 Add to MetaCart
Abstract. We present some general constraints for breaking symmetries in constraint satisfaction problems. These constraints can be used to break symmetries acting on variables, values, or both. We also consider symmetry breaking constraints to deal with conditional symmetries, and symmetries
General Symmetry Breaking Constraints
"... Abstract. We present some general constraints for breaking symmetries in constraint satisfaction problems. These constraints can be used to break symmetries acting on variables, values, or both. We also consider symmetry breaking constraints to deal with conditional symmetries, and symmetries acting ..."
Abstract
 Add to MetaCart
Abstract. We present some general constraints for breaking symmetries in constraint satisfaction problems. These constraints can be used to break symmetries acting on variables, values, or both. We also consider symmetry breaking constraints to deal with conditional symmetries, and symmetries
Automatic generation of symmetrybreaking constraints
"... Solution symmetries in integer linear programs often yield long BranchandBound based solution processes. We propose a method for finding elements of the permutation group of solution symmetries, and two different types of symmetrybreaking constraints to eliminate these symmetries at the modellin ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
Solution symmetries in integer linear programs often yield long BranchandBound based solution processes. We propose a method for finding elements of the permutation group of solution symmetries, and two different types of symmetrybreaking constraints to eliminate these symmetries
Symmetrybreaking constraints for matrix models
 In Proc. of SymCon'02, the CP'02 Workshop on Symmetry in Constraints
, 2002
"... Abstract. Many CSPs can be effectively represented and efficiently solved using matrix models, in which the matrices may have symmetry between their rows and/or columns. Eliminating all such symmetry can be very costly as there are in general exponentially many symmetries. Costeffective methods hav ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
have been proposed to break much of the symmetry, if not all. In this paper, we continue with this line of research, and propose several symmetrybreaking constraints. Experimental results confirm their value. 1
Symmetry Breaking Constraints: Recent Results
, 2012
"... Symmetry is an important problem in many combinatorial problems. One way of dealing with symmetry is to add constraints that eliminate symmetric solutions. We survey recent results in this area, focusing especially on two common and useful cases: symmetry breaking constraints for row and column symm ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Symmetry is an important problem in many combinatorial problems. One way of dealing with symmetry is to add constraints that eliminate symmetric solutions. We survey recent results in this area, focusing especially on two common and useful cases: symmetry breaking constraints for row and column
Results 1  10
of
123,384