| EPSRC Reference: |
GR/S86037/01 |
| Title: |
Network: Symmetry and Search Network |
| Principal Investigator: |
Linton, Professor S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of St Andrews |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 June 2004 |
Ends: |
31 May 2007 |
Value (£): |
62,496
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The focus of this network is the topic of combinatorial search.Combinatorial search is vital in many important research areas such as design problems, hardware verification, constraint satisfaction, planning, and theorem proving, amongst others. In all of these, symmetry is a ubiquitous problem. If a problem instance is symmetric, the danger is that search time will be dominated by revisiting equivalent states over and over again. This can happen for example in planning because of indistinguishable objects, or in hardware verification because of identical components. In each research area we mentioned, this problem has been addressed in a number of ways, and indeed the proposed members of this network have made many significant contributions to this in their various fields. There is a dear need for a network to bring together this group of world leading researchers.
|
|
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 |