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

Filter
Article
2005

The G12 project: Mapping solver independent models to efficient solutions

Stuckey, P. J., De La Banda, M. G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M. & Walsh, T., 31 Oct 2005, In : Lecture Notes in Computer Science. 3668, p. 9-13 5 p.

Research output: Contribution to journalArticleResearchpeer-review

16 Citations (Scopus)

When do bounds and domain propagation lead to the same search space?

Schulte, C. & Stuckey, P. J., 1 Dec 2005, In : ACM Transactions on Programming Languages and Systems. 27, 3, p. 388-425 38 p.

Research output: Contribution to journalArticleResearchpeer-review

21 Citations (Scopus)
2004

Set domain propagation using ROBDDs

Lagoon, V. & Stuckey, P. J., 1 Dec 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3258, p. 347-361 15 p.

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

Sound and decidable type inference for functional dependencies

Duck, G. J., Peyton-Jones, S., Stuckey, P. J. & Sulzmann, M., 1 Dec 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2986, p. 49-63 15 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

Speeding up constraint propagation

Schulte, C. & Stuckey, P. J., 1 Dec 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3258, p. 619-633 15 p.

Research output: Contribution to journalArticleResearchpeer-review

31 Citations (Scopus)
2003

A hybrid algorithm for the examination timetabling problem

Merlot, L. T. G., Boland, N., Hughes, B. D. & Stuckey, P. J., 1 Dec 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2740, p. 207-231 25 p.

Research output: Contribution to journalArticleResearchpeer-review

124 Citations (Scopus)

Box constraint collections for adhoc constraints

Cheng, C. K., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2833, p. 214-228 15 p.

Research output: Contribution to journalArticleResearchpeer-review

9 Citations (Scopus)

Flexible access control policy specification with constraint logic programming

Barker, S. & Stuckey, P. J., 1 Nov 2003, In : ACM Transactions on Information and System Security. 6, 4, p. 501-546 46 p.

Research output: Contribution to journalArticleResearchpeer-review

93 Citations (Scopus)

Improving linear constraint propagation by changing constraint representation

Harvey, W. & Stuckey, P. J., 1 Apr 2003, In : Constraints. 8, 2, p. 173-207 35 p.

Research output: Contribution to journalArticleResearchpeer-review

26 Citations (Scopus)

Propagation redundancy in redundant modelling

Choi, C. W., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2833, p. 229-243 15 p.

Research output: Contribution to journalArticleResearchpeer-review

10 Citations (Scopus)

Termination analysis with types is more accurate

Lagoon, V., Mesnard, F. & Stuckey, P. J., 1 Dec 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2916, p. 254-268 15 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)
2002

Fourier elimination for compiling constraint hierarchies

Harvey, W., Stuckey, P. J. & Borning, A., 1 Apr 2002, In : Constraints. 7, 2, p. 199-219 21 p.

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)
2001

The Cassowary Linear Arithmetic Constraint Solving Algorithm

Badros, G. J., Borning, A. & Stuckey, P. J., 1 Dec 2001, In : ACM Transactions on Computer-Human Interaction. 8, 4, p. 267-306 40 p.

Research output: Contribution to journalArticleResearchpeer-review

114 Citations (Scopus)
2000

Lagrangian reconstruction of GENET

Choi, K. M. F., Lee, J. H. M. & Stuckey, P. J., 1 Jan 2000, In : Artificial Intelligence. 123, 1-2, p. 1-39 39 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
16 Citations (Scopus)
1999

Sharing and groundness dependencies in logic programs

Codish, M., Søndergaard, H. & Stuckey, P. J., 1 Jan 1999, In : ACM Transactions on Programming Languages and Systems. 21, 5, p. 948-976 29 p.

Research output: Contribution to journalArticleResearchpeer-review

28 Citations (Scopus)
1998

A practical object-oriented analysis engine for CLP

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1998, In : Software - Practice and Experience. 28, 2, p. 199-224 26 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Extending GENET with lazy arc consistency

Stuckey, P. J. & Tam, V., 1 Dec 1998, In : IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.. 28, 5, p. 698-703 6 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

Foundations of aggregation constraints

Ross, K. A., Srivastava, D., Stuckey, P. J. & Sudarshan, S., 28 Feb 1998, In : Theoretical Computer Science. 193, 1-2, p. 149-179 31 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
27 Citations (Scopus)

Optimizing compilation of CLP(R)

Kelly, A. D., Marriott, K., Macdonald, A., Stuckey, P. J. & Yap, R., 1 Nov 1998, In : ACM Transactions on Programming Languages and Systems. 20, 6, p. 1223-1250 28 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)
1997

An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs

Kemp, D. B., Ramamohanarao, K. & Stuckey, P. J., 1 Dec 1997, In : Journal of Systems Integration. 7, 3-4, p. 191-230 40 p.

Research output: Contribution to journalArticleResearchpeer-review

Meta-programming in CLP(ℛ)

Heintze, N., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1997, In : Journal of Logic Programming. 33, 3, p. 221-259 39 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
5 Citations (Scopus)

Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models

Stuckey, P. J. & Sudarshan, S., 1 Jan 1997, In : Journal of Logic Programming. 32, 3, p. 171-205 35 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
4 Citations (Scopus)
1996

Cost-Based Optimization for Magic: Algebra and Implementation

Seshadri, P., Ramakrishnan, R., Hellerstein, J. M., Srivastava, D., Pirahesh, H., Stuckey, P. J., Leung, T. Y. C. & Sudarshan, S., 1 Jan 1996, In : SIGMOD Record (ACM Special Interest Group on Management of Data). 25, 2, p. 435-446 12 p.

Research output: Contribution to journalArticleResearchpeer-review

42 Citations (Scopus)

Optimizing bottom-up evaluation of constraint queries

Kemp, D. B. & Stuckey, P. J., 1 Jan 1996, In : Journal of Logic Programming. 26, 1, p. 1-30 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
2 Citations (Scopus)
1995

Bottom-up evaluation and query optimization of well-founded models

Kemp, D. B., Srivastava, D. & Stuckey, P. J., 24 Jul 1995, In : Theoretical Computer Science. 146, 1-2, p. 145-184 40 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
34 Citations (Scopus)

Negation and constraint logic programming

Stuckey, P. J., 1 Jan 1995, In : Information and Computation. 118, 1, p. 12-33 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
56 Citations (Scopus)

On inductive inference of cyclic structures

Maher, M. J. & Stuckey, P. J., 1 Jun 1995, In : Annals of Mathematics and Artificial Intelligence. 15, 2, p. 167-208 42 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)
1994

The aditi deductive database system

Vaghanl, J., Ramamohanarao, K., Kemp, D. B., Somogyi, Z., Stuckey, P. J., Leask, T. S. & Harland, J., 1 Apr 1994, In : The VLDB Journal. 3, 2, p. 245-288 44 p.

Research output: Contribution to journalArticleResearchpeer-review

27 Citations (Scopus)
1993

Projecting CLP R constraints

Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Sep 1993, In : New Generation Computing. 11, 3-4, p. 449-469 21 p.

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

Semantics of Constraint Logic Programs with Optimization

Marriott, K. & Stuckey, P. J., 3 Jan 1993, In : ACM Letters on Programming Languages and Systems. 2, 1-4, p. 197-212 16 p.

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)
1992

An Abstract Machine for CLP(R)

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 7 Jan 1992, In : ACM SIGPLAN Notices. 27, 7, p. 128-139 12 p.

Research output: Contribution to journalArticleResearchpeer-review

20 Citations (Scopus)

CLP(ℜ) and some electrical engineering problems

Heintze, N., Michaylov, S. & Stuckey, P., 1 Oct 1992, In : Journal of Automated Reasoning. 9, 2, p. 231-260 30 p.

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

The CLP(R) Language and System

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 5 Jan 1992, In : ACM Transactions on Programming Languages and Systems. 14, 3, p. 339-395 57 p.

Research output: Contribution to journalArticleResearchpeer-review

313 Citations (Scopus)

Transforming normal logic programs to constraint logic programs

Kanchanasut, K. & Stuckey, P. J., 26 Oct 1992, In : Theoretical Computer Science. 105, 1, p. 27-56 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
3 Citations (Scopus)
1991

Incremental linear constraint solving and detection of implicit equalities

Stuckey, P. J., 1 Jan 1991, In : ORSA Journal on Computing. 3, 4, p. 269-274 6 p.

Research output: Contribution to journalArticleResearchpeer-review

14 Citations (Scopus)
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)

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)