Symmetry Definitions for Constraint Satisfaction Problems

DOI10.1007/11564751_5MaRDI QIDQ3524161zbMATH OpenOpenAlexFDO

Authors Christopher Jefferson, Karen E. Petrie, Barbara M. Smith, David A. Cohen, P. Jeavons

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://ora.ox.ac.uk/objects/uuid:b0cd60ab-e27e-4f18-9948-fb496af60cfd

Mathematics Subject Classification ID

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

Recommendations

• Symmetry definitions for constraint satisfaction problems
• Symmetry and Consistency
• Symmetry breaking revisited
• Dynamic structural symmetry breaking for constraint satisfaction problems
• Symmetries of symmetry breaking constraints

Cited in

(20)

• On implementing symmetry detection
• Dynamic structural symmetry breaking for constraint satisfaction problems
• Orbital shrinking: theory and applications
• Speeding up operations on feature terms using constraint programming and variable symmetry
• Symmetry in mathematical programming
• Local Symmetry Breaking During Search in CSPs
• Groupoids and Conditional Symmetry
• Symmetry and Consistency
• Exploiting single-cycle symmetries in continuous constraint problems
• Dominance rules in combinatorial optimization problems
• scientific article; zbMATH DE number 1975610 (Why is no real title available?)
• scientific article; zbMATH DE number 2084753 (Why is no real title available?)
• Symmetry and Satisfiability: An Update
• A Novel Approach For Detecting Symmetries in CSP Models
• Symmetry Breaking for Maximum Satisfiability
• Automatic Generation of Symmetry-Breaking Constraints
• A New Binary Programming Formulation and Social Choice Property for Kemeny Rank Aggregation
• Reformulations in mathematical programming: automatic symmetry detection and exploitation
• Symmetry definitions for constraint satisfaction problems
• Minimal ordering constraints for some families of variable symmetries

This page was built for publication: Symmetry Definitions for Constraint Satisfaction Problems

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