Output details
11 - Computer Science and Informatics
University of Dundee
Output title
Automatic generation of constraints for partial symmetry breaking
Type
E - Conference contribution
Name of conference/published proceedings
Principles and practice of constraint programming - CP 2011 : 7th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
Volume number
6876
Issue number
-
First page of article
729
ISSN of proceedings
0302-9743
Year of publication
2011
Number of additional authors
1
Additional information
<11> Symmetry in CP was a very active research area until a few years ago, when a method was found to provide symmetry breaking constraints automatically. However, there was an issue with this work, if a problem contains large quantities of symmetry, then the number of constraints required to exploit this symmetry is more than a modern constraint solver can handle. This paper presents the first step towards a solution to this issue, which has reawakened international interest in this research area. This work lead to a Royal Society University Research Fellowship for C. Jefferson.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
