| EPSRC Reference: |
GR/R29666/01 |
| Title: |
Constraint Programming, Search and Symmetry |
| 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 November 2001 |
Ends: |
30 April 2005 |
Value (£): |
146,610
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Artificial Intelligence |
| Fundamentals of Computing |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Communications |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We aim to make progress in practical constraint solving by drawing together three strands of research: mathematical results concerning group actions on spaces of Boolean functions and related topics; the powerful techniques of computational group theory that allow effective computation even in very large groups in actons of high degree; and the successful and industrially important technique of constraint programming.We will develop a new constraint modelling language and new solving techniques, to express and exploit the symmetries of the problem. We will apply these developments to combinatorial problems and real world problems containing symmetry, such as sports scheduling, balanced incomplete block designs, template design, and car sequencing. As well as these practical developments, the project will explore the novel algebraic and algorithmic questions that arise from the interaction of symmetry, inference, and search.
|
|
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 |