[2003-2006] EPSRC Grant GR/S30580Symmetry and Inference. £163,911 to Steve Linton and Ian Gent, St Andrews. The case for support is available here.

[2003-2004] Leverhulme Trust Visiting Fellowship. Approx. £19,500 to Armagan Tarim to work with Barbara Smith at the University of Huddersfield.

[2003-2004] Algebraic Constraint Programming. SEELLD Support Research Fellowship, approx. value £35,000 from the Royal Society of Edinburgh, supporting Ian Gent for two years on a half time basis.

[2002-2005] Efficient Consistency Checking for Applied Planning Systems. Approx. £35,000 from the University of Huddersfield. Barbara Smith is the grant holder; Tien Ba Dinh is the project student. Tien also has an ORS award (the Overseas Reseach Students Award Scheme) to cover the difference between UK fees and overseas fees, value approx. £4300 p.a.

[2002-2004] EPSRC Grant Stochastic Constraint Programming York (Toby Walsh, principal investigator; Armagan Tarim, RA.) Grant value £105,000.

[2001-2004] EPSRC  Grant  GR/R55382, Algorithms for Quantified Boolean Formulae. St Andrews (Ian Gent) Approx. £52,000. Andrew Rowley is the project student.

[2001-2004] EPSRC  Grants GR/R29666 and GR/R29673, Constraint Programming, Search and Symmetry. St Andrews (Ian Gent, Steve Linton, Ursula Martin) and Huddersfield (Barbara Smith). Approx. £211,000. These grants are supporting Tom Kelsey (St Andrews) and Karen Petrie (Huddersfield).

[2000-2003] EPSRC  Grant  GR/M90641, Problem Reformulation and Search. Glasgow (Patrick Prosser), Huddersfield (Barbara Smith) and St Andrews (Ian Gent). Approx. £147,000. Research jointly with ILOG UK. Evgeny Selensky (Glasgow) is the RA.

[2000-2003] EPSRC Grant, Automatic Generation of Implied Constraints. York (Toby Walsh, principal investigator; Ian Miguel, RA; Lyndon Drake, research student.) £245,000.

[1999-2004] EPSRC Advanced Research Fellowship, for Toby Walsh. Approximate value £200,000.

[1999-2002] EPSRC Grant GR/M98012, Automatic Conjecture Making in Mathematics Edinburgh (Toby Walsh, co-investigator). Grant value £170,000.

[1999-2001] EPSRC Grant GR/M66110, UK Constraint Network: CONSNET, a national Network of Excellence in constraint programming. Jointly with Imperial College, Royal Holloway, City University, and Cardiff. Grant value £40,000

[1999] EPSRC Visiting Fellowship GR/M54605, for Joe Culberson (Alberta) to visit Strathclyde, Ian Gent was principal investigator, Pat Prosser was co-investigator. 

[1998-2001] EPSRC Grant GR/M05645 Semantic-Based Software Suppport for Constraint Logic Programs. Barbara Smith was co-investigator. Approximate value £167,000.

[1998-2000] Pat Prosser at Strathclyde was one of the initial nodes within the EU Network of Excellence (NoE) in planning and scheduling, namely PLANET.

[1996-1999] EPSRC Grant GR/L2401 Constrainedness of Computational Problems. Grant value £157,000. Ian Gent and Pat Prosser were grant holders, proposed with Toby Walsh. (See the Kappa pages for more informationl). 

[1996-1999] EPSRC Grant GR/K79024 Public Transport Scheduling through Metaheuristics and Constraint Programming. Grant value approximately £235,000. Barbara Smith was co-investigator. Colin Layfield and Suniel Curtis were supported by this grant (as RA and project student, respectively.) (Summary)

[1996-1999] EU ESPRIT 20603 GreenTrip, The incorporation of stochastic search techniques into a constraint toolkit. Grant value approximately £240,000. Pat Prosser was principal investigator, Paul Shaw and Phil Kilby were supported researchers.

[1995-1998] EPSRC Grant GR/K/65706 An Empirical Study of Constraint Satisfaction Problems, grant value £101,000. Pat Prosser was principal investigator. (Final report). 

[1995-1996] BT funded project, Study of stochastic search applied to workforce management; grant value approximately £54,000. Pat Prosser was principal investigator.

[1994-1997] BT funded project: Phase Transitions in Constraint Satisfaction Problems. Grant value approximately £15,000. Barbara Smith was the principal investigator. The grant provided partial support for Stuart Grant's PhD.

[1993-1995] BT funded project A study of DAI techniques for resource allocation. Total grant value approximately £242,600. Pat Prosser was co-investigator.

[1991-1994] HEFCE funded project Heuristic Algorithms for the Solution of Large Constraint Satisfaction Algorithms in Scheduling Approximately £96,000. Principal investigator Barbara Smith.

[1990-1992] BT funded project Real-time resource allocation using distributed and cooperative knowledge-based architectures. Total grant value approximately £300,000. Pat Prosser was co-investigator.