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 …2022

Research output per year

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

Research Output

1986

Canonical logic programs

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, In : The Journal of Logic Programming. 3, 2, p. 143-155 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
17 Citations (Scopus)

Logic program semantics for programming with equations

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer, p. 313-326 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Semantics of infinite tree logic programming

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, In : Theoretical Computer Science. 46, C, p. 141-158 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
20 Citations (Scopus)