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

Research Output 1986 2019

Filter
Article
2019
3 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

2 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

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

2018
4 Citations (Scopus)

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

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

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

2 Citations (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

2017
5 Citations (Scopus)

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

3 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

4 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

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

7 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
2015
3 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
9 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
3 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
15 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
1 Citation (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

2014
5 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
8 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

16 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

2013
27 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

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

6 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

2012
3 Citations (Scopus)

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

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

15 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

2010
31 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
11 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
16 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

14 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
2009
24 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

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

143 Citations (Scopus)

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

11 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
2008
76 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

12 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

25 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

28 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

2007
11 Citations (Scopus)

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

6 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

39 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

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

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

29 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

16 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

13 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