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 (23)

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

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