Accepting PhD Students

PhD projects

Development of high performance discrete optimization solving technology Development of high-level modelling languages for discrete optimization Multi-agent path finding problems and extensions Hybrid approaches to solving discrete optimization

1986 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference article
2005

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization

Bailey, J. & Stuckey, P. J., 1 Sep 2005, In : Lecture Notes in Computer Science. 3350, p. 174-186 13 p.

Research output: Contribution to journalConference articleResearchpeer-review

116 Citations (Scopus)

Testing for termination with monotonicity constraints

Codish, M., Lagoon, V. & Stuckey, P. J., 31 Oct 2005, In : Lecture Notes in Computer Science. 3668, p. 326-340 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

34 Citations (Scopus)
2004

Set bounds and (Split) set domain propagation using ROBDDs

Hawkins, P., Lagoon, V. & Stuckey, P. J., 1 Dec 2004, In : Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 3339, p. 706-717 12 p.

Research output: Contribution to journalConference articleResearchpeer-review

5 Citations (Scopus)