Constraints Group
Computational problems from many different application areas can be seen as constraint satisfaction problems. For example, the problems of scheduling a collection of tasks, or laying out a silicon chip, or interpreting a visual image, can all be seen in this way. In any constraint satisfaction problem there is a collection of variables which all have to be assigned values, subject to specified constraints. Because of the importance of these problems in so many different fields, new programming languages are being developed to tackle problems of this kind, and there is an annual international conference on Constraint Programming.The Constraints Group is a joint research group between Oxford and Royal Holloway, University of London, and is led by Professor Peter Jeavons and Professor David Cohen. We have been studying constraint satisfaction problems since 1989, supported by many sponsors, including the EPSRC, the DTI, the Royal Society, the British Council, Vodafone UK Ltd, the Nuffield Foundation, and the UK Radiocommunications Agency.
For details of current projects and recent publications see the Constraints Group home page.
related seminar series
|
Contact for Activity |
|
|
Head of Activity |
People
|
Faculty |
|
|
Research |
|
|
Students |
Recent publications
| Tractable Benchmarks For Constraint Programming Justyna Petke and Peter Jeavons No. RR-09-07. OUCL. 2009. |
| Classes of submodular constraints expressible by graph cuts Stanislav Živný and Peter G. Jeavons Constraints. 2009. Details | BibTeX | Link (pdf) | DOI (10.1007/s10601-009-9078-z) |
| Structural properties of oracle classes Stanislav Živný Information Processing Letters. Vol. 109. No. 19. Pages 1131—1135. 2009. Details | BibTeX | Link (pdf) | DOI (10.1016/j.ipl.2009.07.009) |
Links
Info
|
Current projects |
Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity |
|
Themes |