EPSRC logo

Details of Grant 

EPSRC Reference: GR/R29666/01
Title: Constraint Programming, Search and Symmetry
Principal Investigator: Gent, Professor IP
Other Investigators:
Linton, Professor S Martin, Professor UH
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 No relevance to Underpinning Sectors
Communications Information Technologies
Related Grants:
GR/R29673/01
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