Dynamic Lex Constraints

DOI10.1007/11889205_33MaRDI QIDQ3524251zbMATH OpenOpenAlexFDO

Authors Jean-François Puget

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2006 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Propagation algorithms for lexicographic ordering constraints
• Breaking Symmetry of Interchangeable Variables and Values
• Lightweight dynamic symmetry breaking
• Principles and Practice of Constraint Programming – CP 2003
• Combining Symmetry Breaking and Global Constraints

Cited in

(7)

• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
• Towards breaking more composition symmetries in partial symmetry breaking
• Propagation algorithms for lexicographic ordering constraints
• Local Symmetry Breaking During Search in CSPs
• Six Ways of Integrating Symmetries within Non-overlapping Constraints
• scientific article; zbMATH DE number 1059310 (Why is no real title available?)
• Static and dynamic structural symmetry breaking

This page was built for publication: Dynamic Lex Constraints

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