A Novel Approach For Detecting Symmetries in CSP Models

DOI10.1007/978-3-540-68155-7_14MaRDI QIDQ5387629zbMATH OpenOpenAlexFDO

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

Publication date 27 May 2008

Published in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68155-7_14

Mathematics Subject Classification ID

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

Recommendations

• A method for detecting symmetries in constraint models and its generalisation
• Automatic Detection of Variable and Value Symmetries
• scientific article; zbMATH DE number 2084699
• On implementing symmetry detection
• Exploiting symmetries within constraint satisfaction search

Cites work

• Artificial Intelligence and Symbolic Computation
• Automatic Detection of Variable and Value Symmetries
• General Symmetry Breaking Constraints
• Generic SBDD using computational group theory
• scientific article; zbMATH DE number 1975610 (Why is no real title available?)
• On implementing symmetry detection
• Symmetry Definitions for Constraint Satisfaction Problems

Cited in

(11)

• On implementing symmetry detection
• Pairwise symmetry reasoning for multi-agent path finding search
• Lifting symmetry breaking constraints with inductive logic programming
• Lightweight dynamic symmetry breaking
• Symmetries, almost symmetries, and lazy clause generation
• A method for detecting symmetries in constraint models and its generalisation
• Symmetry in mathematical programming
• Automatic Detection of Variable and Value Symmetries
• scientific article; zbMATH DE number 2084764 (Why is no real title available?)
• scientific article; zbMATH DE number 2084767 (Why is no real title available?)
• Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems

This page was built for publication: A Novel Approach For Detecting Symmetries in CSP Models

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