| EPSRC Reference: |
GR/R29673/01 |
| Title: |
Constraint Programming, Search and Symmetry |
| Principal Investigator: |
Kitchin, Dr D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing and Engineering |
| Organisation: |
University of Huddersfield |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 2001 |
Ends: |
30 September 2004 |
Value (£): |
65,197
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Artificial Intelligence |
| Fundamentals of Computing |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| 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 applyI 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.hud.ac.uk |