Peter Stuckey

Professor

Accepting PhD Students

1986 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2020

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

2019

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)

Short-term planning for open pit mines: a review

Blom, M., Pearce, A. R. & Stuckey, P. J., 2019, In : International Journal of Mining, Reclamation and Environment. 33, 5, p. 318-339 22 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Wombit: a portfolio bit-vector solver using word-level propagation

Wang, W., Søndergaard, H. & Stuckey, P. J., Oct 2019, In : Journal of Automated Reasoning. 63, 3, p. 723-762 40 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)
2018

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)

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

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)

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)

Reference abstract domains and applications to string analysis

Amadini, R., Gauthier, F., Schachte, P., Stuckey, P. J., Gange, G., Jordan, A., Søndergaard, H. & Zhang, C., 9 Feb 2018, In : Fundamenta Informaticae. 158, 4, p. 297-326 30 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)
2017

Short-term scheduling of an open-pit mine with multiple objectives

Blom, M., Pearce, A. R. & Stuckey, P. J., 2017, In : Engineering Optimization. 49, 5, p. 777-795 19 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Statistical inference of protein structural alignments using information and compression

Collier, J. H., Allison, L., Lesk, A. M., Stuckey, P. J., Garcia De La Banda, M. & Konagurthu, A. S., 1 Apr 2017, In : Bioinformatics. 33, 7, p. 1005-1013 9 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Using constraint programming for solving RCPSP/max-cal

Kreter, S., Schutt, A. & Stuckey, P. J., Jul 2017, In : Constraints. 22, 3, p. 432-462 31 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)
2016

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

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)

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

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)

Two type extensions for the constraint modeling language MiniZinc

Caballero, R., Stuckey, P. J. & Tenorio-Fornés, A., 1 Nov 2015, In : Science of Computer Programming. 111, P1, p. 156-189 34 p., 1890.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)
2014

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)

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

9 Citations (Scopus)

Synthesizing optimal switching lattices

Gange, G., Søndergaard, H. & Stuckey, P. J., Nov 2014, In : ACM Transactions on Design Automation of Electronic Systems. 20, 1, 14 p., 6.

Research output: Contribution to journalArticleResearchpeer-review

17 Citations (Scopus)
2013

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)

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)

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)

Stable model semantics for founded bounds

Aziz, R. A., Chu, G. & Stuckey, P. J., 1 Jul 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 517-532 16 p.

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)
2012

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)

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

2011

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)

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

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)

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)

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

24 Citations (Scopus)

Propagating systems of dense linear integer constraints

Feydy, T. & Stuckey, P. J., 1 Jun 2009, In : Constraints. 14, 2, p. 235-253 19 p.

Research output: Contribution to journalArticleResearchpeer-review

Propagation via lazy clause generation

Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Sep 2009, In : Constraints. 14, 3, p. 357-391 35 p.

Research output: Contribution to journalArticleResearchpeer-review

145 Citations (Scopus)

Tableau-based protein substructure search using quadratic programming

Stivala, A., Wirth, A. & Stuckey, P. J., 19 May 2009, In : BMC Bioinformatics. 10, 21 p., 153.

Research output: Contribution to journalArticleResearchpeer-review

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

77 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

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

39 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

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

35 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., 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)