Symmetry breaking constraints for value symmetries in constraint satisfaction

DOI10.1007/s10601-006-7095-8zbMath1103.68813OpenAlexW2075033682MaRDI QIDQ850460

Jimmy Ho-man Lee, Yat Chiu Law

Publication date: 3 November 2006

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-006-7095-8

zbMATH Keywords

symmetry breakingconstraint satisfactionvalue symmetries

Mathematics Subject Classification ID

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

Related Items (8)

Towards breaking more composition symmetries in partial symmetry breaking ⋮ Breaking Symmetry of Interchangeable Variables and Values ⋮ Automatic generation of redundant models for permutation constraint satisfaction problems ⋮ Constraint models for graceful graphs ⋮ Multicriteria models for planning power-networking events ⋮ Pairwise symmetry reasoning for multi-agent path finding search ⋮ Dynamic structural symmetry breaking for constraint satisfaction problems ⋮ Lightweight dynamic symmetry breaking

Uses Software

• CPLEX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Consistency in networks of relations
• Increasing constraint propagation by redundant modeling: An experience report
• Solving Kirkman's schoolgirl problem in a few seconds
• Symmetry breaking revisited
• Excluding symmetries in constraint-based search
• New methods to color the vertices of a graph
• Removing propagation redundant constraints in redundant modeling
• The Temporal Knapsack Problem and Its Solution
• Artificial Intelligence and Symbolic Computation
• Letter to the Editor—The Multidimensional Assignment Problem
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2004
• Principles and Practice of Constraint Programming – CP 2004
• Principles and Practice of Constraint Programming – CP 2004
• Exploiting symmetries within constraint satisfaction search

This page was built for publication: Symmetry breaking constraints for value symmetries in constraint satisfaction