Automatic Detection of Variable and Value Symmetries

DOI10.1007/11564751_36MaRDI QIDQ3524199zbMATH OpenOpenAlexFDO

Authors Jean-François Puget

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11564751_36

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• A Novel Approach For Detecting Symmetries in CSP Models
• Recent Advances in Constraints
• Local Symmetry Breaking During Search in CSPs
• Symmetry breaking constraints for value symmetries in constraint satisfaction
• Symmetry breaking revisited

Cited in

(28)

• A parametric filtering algorithm for the graph isomorphism problem
• On implementing symmetry detection
• A computational comparison of symmetry handling methods for mixed integer programs
• Orbital shrinking: theory and applications
• Algorithms for highly symmetric linear and integer programs
• Pairwise symmetry reasoning for multi-agent path finding search
• Lifting symmetry breaking constraints with inductive logic programming
• Compiling CP subproblems to MDDs and d-DNNFs
• Dominance breaking constraints
• A method for detecting symmetries in constraint models and its generalisation
• Computing symmetry groups of polyhedra
• Symmetry in mathematical programming
• Breaking Symmetry of Interchangeable Variables and Values
• Breaking All Value Symmetries in Surjection Problems
• Using dual presolving reductions to reformulate cumulative constraints
• Fundamental domains for symmetric optimization: construction and search
• Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
• A Novel Approach For Detecting Symmetries in CSP Models
• Recent Advances in Constraints
• Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
• Automated streamliner portfolios for constraint satisfaction problems
• Symmetry detection in mixed-integer conic programming
• Detecting and handling reflection symmetries in mixed-integer (nonlinear) programming and beyond
• Symmetry breaking constraints for value symmetries in constraint satisfaction
• Symmetry definitions for constraint satisfaction problems
• Predicting and detecting symmetries in FOL finite model search
• Global constraint catalogue: past, present and future
• Static and dynamic structural symmetry breaking

This page was built for publication: Automatic Detection of Variable and Value Symmetries

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