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
Book
1999

Herbrand Constraint Solving in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBook

Type Constraint Solving for Parametric and Ad-hoc Polymorphism

Demoen, B., Garcia De La Banda, M. J. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 20 p.

Research output: Book/ReportBook

1998

Programming with Constraints - An Introduction

Marriott, K. & Stuckey, P. J., 1998, London UK: The MIT Press. 459 p.

Research output: Book/ReportBook