Symmetry-breaking constraints

Known as: Symmetry breaking constraints 
In the field of mathematics called combinatorial optimization, the method of symmetry-breaking constraints can be used to take advantage of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
An edge-coloring of a graph G = (V,E) is a function c that assigns an integer c(e) (called color) in {0, 1, 2, . . . } to every… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
Mathematical programs whose formulation is symmetric often take a long time to solve using Branch-and-Bound type algorithms… (More)
  • table 2
Is this relevant?
Review
2012
Review
2012
Symmetry is an important problem in many combinatorial problems. One way of dealing with symmetry is to add constraints that… (More)
  • table 1
  • table 2
Is this relevant?
2010
2010
Symmetry is an important feature of many constraint programs. We show that anyproblem symmetry acting on a set of symmetry… (More)
  • table 1
  • table 2
Is this relevant?
2008
2008
Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method… (More)
  • table 1
  • table 2
Is this relevant?
2008
2008
We present a general method for dynamically posting symmetry breaking constraints during search. The basic idea is very simple… (More)
  • table 1
Is this relevant?
2006
2006
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking… (More)
Is this relevant?
2006
2006
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
[Puget, 2004] has shown that if the symmetry in a constraint satisfaction problem acts only on the variables and there is also an… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
2002
2002
Many CSPs can be effectively represented and efficiently solved using matrix models, in which the matrices may have symmetry… (More)
  • table 1
Is this relevant?