Variable symmetry breaking in numerical constraint problems

DOI10.1016/j.artint.2015.08.006zbMath1343.65068OpenAlexW1195068634MaRDI QIDQ900305

Carme Torras, Vicente Ruiz de Angulo, Christophe Jermann, Alexandre Goldsztejn

Publication date: 22 December 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2015.08.006

zbMATH Keywords

symmetriesconstraint programmingnumerical constraintsvariable symmetries

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear programming (90C30)

Related Items (2)

Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation ⋮ Actions of the hyperoctahedral group to compute minimal contractors

Uses Software

• nauty
• RealPaver
• Traces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stabilizer-based symmetry breaking constraints for mathematical programs
• Reformulations in mathematical programming: automatic symmetry detection and exploitation
• Symmetry definitions for constraint satisfaction problems
• Interval propagation and search on directed acyclic graphs for numerical constraint solving
• Symmetry breaking revisited
• Practical graph isomorphism. II.
• Propagation algorithms for lexicographic ordering constraints
• Parameterized Complexity Results in Symmetry Breaking
• Algorithm 852
• Symmetry in Integer Linear Programming
• Fundamental Domains for Integer Programs with Symmetries
• Signed fundamental domains for totally real number fields
• The Transitive Reduction of a Directed Graph
• Exploiting symmetries within constraint satisfaction search

This page was built for publication: Variable symmetry breaking in numerical constraint problems