Towards breaking more composition symmetries in partial symmetry breaking

DOI10.1016/j.artint.2017.07.006zbMath1419.68096OpenAlexW2754976122MaRDI QIDQ1677433

Zichen Zhu, Jimmy Ho-man Lee

Publication date: 21 November 2017

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2017.07.006

zbMATH Keywords

dynamic symmetry breakingcomposition symmetriespartial symmetry breaking

Mathematics Subject Classification ID

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

Uses Software

• CSPLib
• Chaff
• CHUFFED

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constraint models for the covering test problem
• Symmetry breaking constraints for value symmetries in constraint satisfaction
• Dynamic structural symmetry breaking for constraint satisfaction problems
• Consistency in networks of relations
• Propagation via lazy clause generation
• Lightweight dynamic symmetry breaking
• Breaking Symmetry of Interchangeable Variables and Values
• Breaking All Value Symmetries in Surjection Problems
• Watched Literals for Constraint Propagation in Minion
• Dynamic Lex Constraints
• General Symmetry Breaking Constraints
• Combining Symmetry Breaking and Global Constraints
• Artificial Intelligence and Symbolic Computation
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2004

This page was built for publication: Towards breaking more composition symmetries in partial symmetry breaking