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
Article

A complete refinement procedure for regular separability of context-free languages

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 25 Apr 2016, In : Theoretical Computer Science. 625, p. 1-24 24 p.

Research output: Contribution to journalArticleResearchpeer-review

A complete solution to the Maximum Density Still Life Problem

Chu, G. & Stuckey, P. J., 1 Jun 2012, In : Artificial Intelligence. 184-185, p. 1-16 16 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
3 Citations (Scopus)

A decomposition-based algorithm for the scheduling of open-pit networks over multiple time periods

Blom, M. L., Pearce, A. R. & Stuckey, P. J., Oct 2016, In : Management Science. 62, 10, p. 3059-3084 26 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
9 Citations (Scopus)

A decomposition-based heuristic for collaborative scheduling in a network of open-pit mines

Blom, M. L., Burt, C. N., Pearce, A. R. & Stuckey, P. J., 2014, In : INFORMS Journal on Computing. 26, 4, p. 658-676 19 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
6 Citations (Scopus)

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)

AI@NICTA

Barnes, N., Baumgartner, P., Caetano, T., Durrant-Whyte, H., Klein, G., Sanderson, P., Sattar, A., Stuckey, P., Thiebaux, S., Van Hentenryck, P. & Walsh, T., 1 Sep 2012, In : AI Magazine. 33, 3, p. 115-127 13 p.

Research output: Contribution to journalArticleResearchpeer-review

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)

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

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
4 Citations (Scopus)

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)

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)

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)

Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems

Metodi, A., Codish, M. & Stuckey, P. J., 3 Apr 2013, In : Journal of Artificial Intelligence Research. 46, p. 303-341 39 p.

Research output: Contribution to journalArticleResearchpeer-review

27 Citations (Scopus)

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)

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)

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)

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

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)

Compiling CP subproblems to MDDs and d-DNNFs

de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., Jan 2019, In : Constraints. 24, 1, p. 56-93 38 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Constraints for symmetry breaking in graph representation

Codish, M., Miller, A., Prosser, P. & Stuckey, P. J., 2018, In : Constraints. 24, 1, p. 1-24 24 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

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)

CP and IP approaches to cancer radiotherapy delivery optimization

Baatar, D., Boland, N., Brand, S. & Stuckey, P. J., Apr 2011, In : Constraints. 16, 2, p. 173-194 22 p.

Research output: Contribution to journalArticleResearchpeer-review

9 Citations (Scopus)

Discovery and analysis of consistent active subnetworks in cancers

Gaire, R. K., Smith, L., Humbert, P., Bailey, J., Stuckey, P. J. & Haviv, I., 21 Jan 2013, In : BMC Bioinformatics. 14, S7.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
8 Citations (Scopus)

Dominance breaking constraints

Chu, G. & Stuckey, P. J., Apr 2015, In : Constraints. 20, 2, p. 155-182 28 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
3 Citations (Scopus)

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)

Explaining circuit propagation

Francis, K. G. & Stuckey, P. J., Jan 2014, In : Constraints. 19, 1, p. 1-29 29 p.

Research output: Contribution to journalArticleResearchpeer-review

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

Failure tabled constraint logic programming by interpolation

Gange, G., Navas, J. A., Schachte, P., Sondergaard, H. & Stuckey, P. J., 1 Jul 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 593-607 15 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

Fast and accurate protein substructure searching with simulated annealing and GPUs

Stivala, A. D., Stuckey, P. J. & Wirth, A. I., 3 Sep 2010, In : BMC Bioinformatics. 11, 17 p., 446.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
31 Citations (Scopus)

Fast set bounds propagation using a BDD-SAT hybrid

Gange, G., Stuckey, P. J. & Lagoon, V., 1 May 2010, In : Journal of Artificial Intelligence Research. 38, p. 307-338 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
11 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)

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)

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)

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)

Horn clauses as an intermediate representation for program analysis and transformation

Gange, G., Navas, J. A., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2015, In : Theory and Practice of Logic Programming. 15, 4-5, p. 526-542 17 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
11 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)

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)

Incremental satisfiability and implication for UTVPI constraints

Schutt, A. & Stuckey, P. J., 1 Sep 2010, In : INFORMS Journal on Computing. 22, 4, p. 514-527 14 p.

Research output: Contribution to journalArticleResearchpeer-review

17 Citations (Scopus)

Interval analysis and machine arithmetic: why signedness ignorance is bliss

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., Jan 2015, In : ACM Transactions on Programming Languages and Systems. 37, 1, 35 p., 1.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
4 Citations (Scopus)

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)

Lazy model expansion: interleaving grounding with search

De Cat, B., Denecker, M., Stuckey, P. & Bruynooghe, M., 25 Feb 2015, In : Journal of Artificial Intelligence Research. 52, p. 235-286 52 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
15 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)

Logistics optimization for a coal supply chain

Belov, G., Boland, N. L., Savelsbergh, M. W. P. & Stuckey, P. J., 14 Jan 2020, (Accepted/In press) In : Journal of Heuristics. 32 p.

Research output: Contribution to journalArticleResearchpeer-review

MDD propagators with explanation

Gange, G., Stuckey, P. J. & Szymanek, R., 1 Oct 2011, In : Constraints. 16, 4, p. 407-429 23 p.

Research output: Contribution to journalArticleResearchpeer-review

15 Citations (Scopus)

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)

MIRAGAA-A methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer

Gaire, R. K., Bailey, J., Bearfoot, J., Campbell, I. G., Stuckey, P. J. & Haviv, I., 1 Jan 2010, In : Bioinformatics. 26, 2, p. 161-167 7 p., btp654.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
14 Citations (Scopus)

Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems

Kreter, S., Schutt, A., Stuckey, P. J. & Zimmermann, J., 16 Apr 2018, In : European Journal of Operational Research. 266, 2, p. 472-486 15 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

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)

Multi-objective short-term production scheduling for open-pit mines: a hierarchical decomposition-based algorithm

Blom, M., Pearce, A. R. & Stuckey, P. J., 12 Feb 2018, In : Engineering Optimization. 50, 12, p. 2143-2160 18 p.

Research output: Contribution to journalArticleResearchpeer-review

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