Principles and Practice of Constraint Programming – CP 2003

DOI10.1007/B13743MaRDI QIDQ5897205zbMATH OpenOpenAlexFDO

Authors Alan M. Frisch, Chris Jefferson, Ian Miguel

Publication date 2 March 2010

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

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Symmetries of symmetry breaking constraints
• General Symmetry Breaking Constraints
• scientific article; zbMATH DE number 16994
• scientific article; zbMATH DE number 515690
• Combining Symmetry Breaking and Global Constraints
• Symmetry breaking in a bounded symmetry domain
• Symmetry breaking revisited

Cited in

(19)

• Towards breaking more composition symmetries in partial symmetry breaking
• Automatically improving constraint models in Savile Row
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Constraints for symmetry breaking in graph representation
• On matrices, automata, and double counting in constraint programming
• Dominance breaking constraints
• Breaking symmetries in graph search with canonizing sets
• Symmetries of symmetry breaking constraints
• Solving necklace constraint problems
• Dynamic Lex Constraints
• Six Ways of Integrating Symmetries within Non-overlapping Constraints
• Combining Symmetry Breaking and Global Constraints
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Symmetry breaking using stabilizers
• Automated streamliner portfolios for constraint satisfaction problems
• Filtering algorithms for the multiset ordering constraint
• Symmetry breaking constraints for value symmetries in constraint satisfaction
• Variable symmetry breaking in numerical constraint problems
• Minimal ordering constraints for some families of variable symmetries

This page was built for publication: Principles and Practice of Constraint Programming – CP 2003

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