Static and dynamic structural symmetry breaking

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

Pierre Flener, Meinolf Sellmann, Justin Pearson

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

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 (6)

• 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
• Symmetry breaking revisited
• Lightweight dynamic symmetry breaking

   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 👍 👎

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)