| EPSRC Reference: |
GR/S30658/01 |
| Title: |
Modelling Symmetries in Constraint Programming |
| Principal Investigator: |
Gent, Professor IP |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of St Andrews |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 May 2003 |
Ends: |
31 October 2003 |
Value (£): |
5,428
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
A significant obstacle in many constraint problems is the presence of a large degree of symmetry. At St Andrews we are addressing this through interaction between constraint programming systems such as Eclipse, and computational algebra systems such as GAP.Until now, the focus in our research and that of others has been on new techniques to break symmetry. We now propose to move the focus to the way that symmetries are modelled in constraint programs. to do so, we will take advantage of the opportunity that Warwick Harvey has to visit St Andrews.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.st-and.ac.uk |