Static and dynamic structural symmetry breaking

DOI10.1007/s10472-009-9172-3zbMath1205.68374OpenAlexW2136660173WikidataQ57574266 ScholiaQ57574266MaRDI QIDQ976989

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

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

Related Items

Dynamic structural symmetry breaking for constraint satisfaction problems ⋮ Lightweight dynamic symmetry breaking

Cites Work

• Unnamed Item
• Unnamed Item
• Dynamic structural symmetry breaking for constraint satisfaction problems
• Automatic Detection of Variable and Value Symmetries
• Dynamic Lex Constraints
• Artificial Intelligence and Symbolic Computation

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