Automatic Detection of Variable and Value Symmetries

DOI10.1007/11564751_36zbMath1153.68477OpenAlexW1527987966MaRDI QIDQ3524199

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)

Related Items

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