Recent Advances in Constraints

DOI10.1007/11754602MaRDI QIDQ5899115zbMATH OpenOpenAlexFDO

Authors Roland Martin

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11754602

Mathematics Subject Classification ID

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

Recommendations

• Symmetry breaking revisited
• Symmetries of symmetry breaking constraints
• scientific article; zbMATH DE number 2084699
• Lightweight dynamic symmetry breaking
• Exploiting symmetries within constraint satisfaction search

Cited in

(2)

• Symmetries, almost symmetries, and lazy clause generation
• Dominance breaking constraints

This page was built for publication: Recent Advances in Constraints

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