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

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)

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)

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

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

2007

Removing propagation redundant constraints in redundant modeling

Choi, C. W., Lee, J. H. M. & Stuckey, P. J., 1 Aug 2007, In : ACM Transactions on Computational Logic. 8, 4, 1276925.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

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

Efficient constraint propagation engines

Schulte, C. & Stuckey, P. J., 1 Dec 2008, In : ACM Transactions on Programming Languages and Systems. 31, 1, 2.

Research output: Contribution to journalArticleResearchpeer-review

78 Citations (Scopus)

HM(X) type inference is CLP(X) solving

Sulzmann, M. & Stuckey, P. J., 1 Mar 2008, In : Journal of Functional Programming. 18, 2, p. 251-283 33 p.

Research output: Contribution to journalArticleResearchpeer-review

12 Citations (Scopus)

Logic programming with satisfiability

Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2008, In : Theory and Practice of Logic Programming. 8, 1, p. 121-128 8 p.

Research output: Contribution to journalArticleResearchpeer-review

25 Citations (Scopus)

New integer linear programming approaches for course timetabling

Boland, N., Hughes, B. D., Merlot, L. T. G. & Stuckey, P. J., 1 Jul 2008, In : Computers and Operations Research. 35, 7, p. 2209-2233 25 p.

Research output: Contribution to journalArticleResearchpeer-review

30 Citations (Scopus)
2009

Monadic constraint programming

Schrijvers, T., Stuckey, P. & Wadler, P., 1 Nov 2009, In : Journal of Functional Programming. 19, 6, p. 663-697 35 p.

Research output: Contribution to journalArticleResearchpeer-review

26 Citations (Scopus)