EPSRC logo

Details of Grant 

EPSRC Reference: GR/S86037/01
Title: Network: Symmetry and Search Network
Principal Investigator: Linton, Professor S
Other Investigators:
Fox, Professor M Gent, Professor IP Melham, Professor T
Smith, Dr B
Researcher Co-Investigators:
Dr T Kelsey
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