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
Paper
2002

A theory of overloading

Stuckey, P. J. & Sulzmann, M., 1 Dec 2002, p. 167-178. 12 p.

Research output: Contribution to conferencePaper

20 Citations (Scopus)

Exception analysis for non-strict languages

Glynn, K., Stuckey, P. J., Sulzmann, M. & Søndergaard, H., 1 Dec 2002, p. 98-109. 12 p.

Research output: Contribution to conferencePaper

8 Citations (Scopus)

Reducing search space in local search for constraint satisfaction

Fang, H., Kilani, Y., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2002, p. 28-33. 6 p.

Research output: Contribution to conferencePaper

2 Citations (Scopus)
1991

Magic sets and bottom-up evaluation of well-founded models

Kemp, D. B., Stuckey, P. J. & Srivastava, D., 1 Dec 1991, p. 337-351. 15 p.

Research output: Contribution to conferencePaper

29 Citations (Scopus)

Semantics of logic programs with aggregates

Kemp, D. B. & Stuckey, P. J., 1 Dec 1991, p. 387-401. 15 p.

Research output: Contribution to conferencePaper

60 Citations (Scopus)