On implementing symmetry detection

DOI10.1007/S10601-008-9057-9MaRDI QIDQ1037637zbMATH OpenOpenAlexFDO

Authors Christopher Mears, Maria Garcia De La Banda, Mark Wallace

Publication date 16 November 2009

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10601-008-9057-9

zbMATH Keywords

automatic symmetry detectiongraph automorphism

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• A Novel Approach For Detecting Symmetries in CSP Models
• Automatic Detection of Variable and Value Symmetries
• A method for detecting symmetries in constraint models and its generalisation
• scientific article; zbMATH DE number 2084699
• Symmetry and Satisfiability: An Update

Cites work

• Automatic Detection of Variable and Value Symmetries
• Breaking All Value Symmetries in Surjection Problems
• scientific article; zbMATH DE number 3823850 (Why is no real title available?)
• scientific article; zbMATH DE number 1975610 (Why is no real title available?)
• Recent Advances in Constraints
• Symmetry Definitions for Constraint Satisfaction Problems

Cited in

(14)

• Detecting symmetries by branch and cut.
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Compiling CP subproblems to MDDs and d-DNNFs
• Symmetries, almost symmetries, and lazy clause generation
• Dominance breaking constraints
• A method for detecting symmetries in constraint models and its generalisation
• Symmetry in mathematical programming
• Detection of symmetry or lack of 11 and applications
• A scheme for symmetrization verification
• Graph Drawing
• A Novel Approach For Detecting Symmetries in CSP Models
• Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
• Detecting and handling reflection symmetries in mixed-integer (nonlinear) programming and beyond
• Algorithmic symmetry classification with invariance

Describes a project that uses

Uses Software

• CSPLib

This page was built for publication: On implementing symmetry detection

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