| EPSRC Reference: |
GR/L24069/01 |
| Title: |
COMPUTER-AIDED CONSTRAINT PROGRAMMING |
| Principal Investigator: |
Tsang, Professor E |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Sci and Electronic Engineering |
| Organisation: |
University of Essex |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 March 1997 |
Ends: |
31 August 2000 |
Value (£): |
280,117
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The project is motivated by the observation that constraint satisfaction and constraint optimisation problems appear widely, but very few end-users know how to use the techniques developed in the laboratory. That is, to a large extent, because existing constraint techniques require expertise to use, but experts in this field are far fewer than industry requires. The objective of this project is to bring constraint technology to non-expert users by advancing the technology and by designing and implementing a Computer-Aided constraint-programming system, which will guide end-users in specifying simple problems, formalising their problems as CSPs whenever possible, provide library algorithms to solve their CSPs and advise them on which algorithm to use. Apart from the constraint satisfaction and optimisation technology, software engineering and human-computer interaction aspects of the constraint satisfaction will be investigated. The target system should be practical, user-friendly and easily extendible. It should help to promote constraint satisfaction and optimisation technology in industry, which will benefit by improved productivity.
|
|
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.sx.ac.uk |