Variable symmetry breaking in numerical constraint problems

DOI10.1016/J.ARTINT.2015.08.006MaRDI QIDQ900305zbMATH OpenOpenAlexFDO

Authors Christophe Jermann, Vicente Ruiz de Angulo, C. Torras, 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

constraint programmingnumerical constraintssymmetriesvariable symmetries

Mathematics Subject Classification ID

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

Recommendations

• Breaking Symmetry of Interchangeable Variables and Values
• Symmetries of symmetry breaking constraints
• Symmetry breaking revisited
• Breaking symmetries with lex implications
• Principles and Practice of Constraint Programming – CP 2003

Cites work

• Algorithm 852
• Exploiting single-cycle symmetries in continuous constraint problems
• Exploiting symmetries within constraint satisfaction search
• Formulation symmetries in circle packing
• Fundamental Domains for Integer Programs with Symmetries
• scientific article; zbMATH DE number 3341276 (Why is no real title available?)
• Interval analysis for certified numerical solution of problems in robotics
• Interval propagation and search on directed acyclic graphs for numerical constraint solving
• Parameterized complexity results in symmetry breaking
• Practical graph isomorphism. II.
• Propagation algorithms for lexicographic ordering constraints
• Reformulations in mathematical programming: automatic symmetry detection and exploitation
• Signed fundamental domains for totally real number fields
• Stabilizer-based symmetry breaking constraints for mathematical programs
• Symmetry breaking revisited
• Symmetry definitions for constraint satisfaction problems
• Symmetry in integer linear programming
• The Transitive Reduction of a Directed Graph

Cited in

(4)

• Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation
• Counting symmetry-breaking solutions to symmetric variational problems
• Actions of the hyperoctahedral group to compute minimal contractors
• Exploiting single-cycle symmetries in continuous constraint problems

Describes a project that uses

Uses Software

• nauty
• RealPaver
• Traces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q900305)