EPSRC logo

Details of Grant 

EPSRC Reference: GR/S30658/01
Title: Modelling Symmetries in Constraint Programming
Principal Investigator: Gent, Professor IP
Other Investigators:
Linton, Professor S Smith, Dr B
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