Static and dynamic structural symmetry breaking

DOI10.1007/S10472-009-9172-3zbMATH Open1205.68374OpenAlexW2136660173WikidataQ57574266 ScholiaQ57574266MaRDI QIDQ976989FDOQ976989

Authors: Pierre Flener, Justin Pearson, Meinolf Sellmann 

Publication date: 16 June 2010

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9172-3

Recommendations

• Dynamic structural symmetry breaking for constraint satisfaction problems
• Symmetry breaking revisited
• Local Symmetry Breaking During Search in CSPs
• Dominance breaking constraints
• Lightweight dynamic symmetry breaking

zbMATH Keywords

symmetrysymmetry breakingconstraint satisfaction problemwreath productstatic, dynamic, and structural symmetry breaking

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27) Exact enumeration problems, generating functions (05A15)

Cites Work

• Title not available (Why is that?)
• Automatic Detection of Variable and Value Symmetries
• Title not available (Why is that?)
• Artificial Intelligence and Symbolic Computation
• Dynamic structural symmetry breaking for constraint satisfaction problems
• Dynamic Lex Constraints

Cited In (9)

• Coupling analysis of substructures with different symmetries
• Dynamic structural symmetry breaking for constraint satisfaction problems
• Title not available (Why is that?)
• Solving necklace constraint problems
• Generic SBDD using computational group theory
• Symmetry breaking revisited
• Towards breaking more composition symmetries in partial symmetry breaking
• Lightweight dynamic symmetry breaking
• Dominance breaking constraints

This page was built for publication: Static and dynamic structural symmetry breaking

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