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

2007

The island confinement method for reducing search space in local search methods

Fang, H., Kilani, Y., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2007, In : Journal of Heuristics. 13, 6, p. 557-585 29 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Understanding functional dependencies via constraint handling rules

Sulzmann, M., Duck, G. J., Peyton-Jones, S. & Stuckey, P. J., 1 Jan 2007, In : Journal of Functional Programming. 17, 1, p. 83-129 47 p.

Research output: Contribution to journalArticleResearchpeer-review

41 Citations (Scopus)
2006

ACD term rewriting

Duck, G. J., Stuckey, P. J. & Brand, S., 1 Jan 2006, Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer, p. 117-131 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4079 LNCS).

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

13 Citations (Scopus)

A framework for extended algebraic data types

Sulzmann, M., Wazny, J. & Stuckey, P. J., 17 Jul 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Proceedings. p. 47-64 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3945 LNCS).

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

12 Citations (Scopus)

A stochastic non-CNF SAT solver

Muhammad, R. & Stuckey, P. J., 1 Jan 2006, PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer, p. 120-129 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4099 LNAI).

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

7 Citations (Scopus)

Automatic implication checking for CHR constraints

Schrijvers, T., Demoen, B., Duck, G., Stuckey, P. & Frühwirth, T., 31 Jan 2006, In : Electronic Notes in Theoretical Computer Science. 147, 1, p. 93-111 19 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
8 Citations (Scopus)

Chapter 12 Constraint logic programming

Marriott, K., Wallace, M. & Stuckey, P. J., 1 Dec 2006, In : Lecture Notes in Computer Science. 2, C, p. 409-452 44 p.

Research output: Contribution to journalArticleResearchpeer-review

Finite domain bounds consistency revisited

Choi, C. W., Harvey, W., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2006, AI 2006: Advances in Artificial Intelligence - 19th Australian Joint Conference on Artificial Intelligence, Proceedings. Springer, p. 49-58 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4304 LNAI).

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

28 Citations (Scopus)

NP-completeness of minimal width unordered tree layout

Marriott, K. & Stuckey, P. J., 1 Jan 2006, Graph Algorithms and Applications 5. World Scientific Publishing, p. 295-312 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

Principal type inference for GHC-style multi-parameter type classes

Sulzmann, M., Schrijvers, T. & Stuckey, P. J., 1 Dec 2006, Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings. p. 26-43 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4279 LNCS).

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

6 Citations (Scopus)

Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware

Ni, L., Harwood, A. & Stuckey, P. J., 1 Dec 2006, ACM International Conference Proceeding Series - Proceedings of the 4th International Workshop on Middleware for Grid Computing (MGC'06) held at the ACM/IFIP/USENIX International Middleware Conference. 1 p. (ACM International Conference Proceeding Series; vol. 194).

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

2 Citations (Scopus)

Size-change termination analysis in k-bits

Codish, M., Lagoon, V., Schachte, P. & Stuckey, P. J., 14 Jul 2006, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3924 LNCS).

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

5 Citations (Scopus)

Solving partial order constraints for LPO termination

Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2006, Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Springer, p. 4-18 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4098 LNCS).

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

14 Citations (Scopus)

Type processing by constraint reasoning

Stuckey, P. J., Sulzmann, M. & Wazny, J., 1 Jan 2006, Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings. Springer, p. 1-25 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4279 LNCS).

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

8 Citations (Scopus)
2005

Abstract interpretation for constraint handling rules

Schrijvers, T., Stuckey, P. J. & Duck, G. J., 1 Dec 2005, PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 218-229 12 p. (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming; vol. 2005).

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

14 Citations (Scopus)

A hybrid BDD and SAT finite domain constraint solver

Hawkins, P. & Stuckey, P. J., 1 Dec 2005, Practical Aspects of Declarative Languages - 8th International Symposium, PADL 2006, Proceedings. p. 103-117 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3819 LNCS).

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

6 Citations (Scopus)

A theory of overloading

Stuckey, P. J. & Sulzmann, M., 1 Dec 2005, In : ACM Transactions on Programming Languages and Systems. 27, 6, p. 1216-1269 54 p.

Research output: Contribution to journalArticleResearchpeer-review

37 Citations (Scopus)

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)

Solving set constraint satisfaction problems using ROBDDs

Hawkins, P., Lagoon, V. & Stuckey, P. J., 1 Jul 2005, In : Journal of Artificial Intelligence Research. 24, p. 109-156 48 p.

Research output: Contribution to journalArticleResearchpeer-review

30 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)

The G12 project: mapping solver independent models to efficient solutions

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

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

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

Improving type error diagnosis

Stuckey, P. J., Sulzmann, M. & Wazny, J., 1 Dec 2004, Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04. p. 80-91 12 p. (Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04).

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

19 Citations (Scopus)

Just enough tabling

Sagonas, K. & Stuckey, P. J., 1 Dec 2004, Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04. p. 78-89 12 p. (Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04).

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

8 Citations (Scopus)

Preface

Kameyama, Y. & Stuckey, P. J., 2004, 7th International Symposium on Functional and Logic Programming, FLOPS 2004; Nara; Japan; 7 April 2004 through 9 April 2004. Springer, Vol. 2998. p. VI 1 p. (Lecture Notes in Computer Science ).

Research output: Chapter in Book/Report/Conference proceedingForeword / PostscriptOtherpeer-review

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)

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)

Efficient representation of Adhoc constraints

Cheng, K. C. K., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2003, 18th International Joint Conference on Artificial Intelligence Proceedings. p. 1368-1369 2 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

1 Citation (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)

Improving Nogood Recording using 2SAT

Stuckey, P. J. & Zheng, L., 16 Dec 2003, Proceedings of the International Conference on Tools with Artificial Intelligence. p. 94-99 6 p.

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

1 Citation (Scopus)

Interactive Type Debugging in Haskell

Stuckey, P. J., Sulzmann, M. & Wazny, J., 1 Dec 2003, Proceedings of the 2003 ACM SIGPLAN Haskell Workshop. p. 72-83 12 p. (Proceedings of the 2003 ACM SIGPLAN Haskell Workshop).

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

38 Citations (Scopus)

Propagation redundancy for permutation channels

Choi, C. W., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2003, 18th International Joint Conference on Artificial Intelligence Proceedings. p. 1370-1371 2 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

4 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

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)

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)

Improving GSAT using 2SAT

Stuckey, P. J. & Zheng, L., 1 Jan 2002, Principles and Practice of Constraint Programming- CP 2002 - 8th International Conference, CP 2002, Proceedings. Van Hentenryck, P. (ed.). Springer, p. 691-695 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2470).

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

Precise pair-sharing analysis of logic programs

Lagoon, V. & Stuckey, P. J., 1 Jan 2002, Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Association for Computing Machinery (ACM), p. 99-108 10 p. (Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)).

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

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)

Using the heap to eliminate stack accesses

Somogyi, Z. & Stuckey, P. J., 1 Jan 2002, Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Association for Computing Machinery (ACM), p. 121-132 12 p. (Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)).

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

2001

A framework for analysis of typed logic programs

Lagoon, V. & Stuckey, P. J., 1 Jan 2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kuchen, H. & Ueda, K. (eds.). Springer, p. 296-310 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2024).

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

11 Citations (Scopus)

Boolean constraints for binding-time analysis

Glynn, K., Stuckey, P. J., Sulzmann, M. & Søndergaard, H., 1 Dec 2001, Programs as Data Objects - Second Symposium, PADO 2001, Proceedings. p. 39-62 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2053 LNCS).

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

12 Citations (Scopus)

Cost-based unbalanced R-trees

Ross, K. A., Sitzmann, I. & Stuckey, P. J., 1 Jan 2001, Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. p. 203-212 10 p.

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

5 Citations (Scopus)