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

2011

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)

Memoizing a monadic mixin DSL

Wuille, P., Schrijvers, T., Samulowitz, H., Tack, G. & Stuckey, P. J., 2011, Proceedings of the 20th International Workshop on Functional and Constraint Logic Programming. Kuchen, H. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 68-85 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6816 LNCS).

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

Optimal carpet cutting

Schutt, A., Stuckey, P. J. & Verden, A. R., 26 Sep 2011, Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings. Springer, p. 69-84 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

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

11 Citations (Scopus)

Reducing chaos in SAT-like search: Finding solutions close to a given one

Abío, I., Deters, M., Nieuwenhuis, R. & Stuckey, P. J., 27 Jun 2011, Theory and Application of Satisfiability Testing - 14th International Conference, SAT 2011, Proceedings. Springer, p. 273-286 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6695 LNCS).

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

5 Citations (Scopus)

Search combinators

Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H. & Stuckey, P. J., 2011, Proceedings of the 17th International Conference on the Principles and Practice of Constraint Programming. Lee, J. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 774-788 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-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)

Improved Consensus Clustering via linear programming

Downing, N., Stuckey, P. J. & Wirth, A., 1 Dec 2010, Computer Science 2010 - Proceedings of the 33rd Australasian Computer Science Conference, ACSC 2010. p. 61-69 9 p. (Conferences in Research and Practice in Information Technology Series; vol. 102).

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

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

Introduction to the special issue on the fourteenth international conference on principles and practice of constraint programming (CP 2008)

Stuckey, P. J., Apr 2010, In : Constraints. 15, 2, p. 149-150 2 p.

Research output: Contribution to journalEditorialOtherpeer-review

Open Access
File

Lazy clause generation: Combining the power of SAT and CP (and MIP?) solving

Stuckey, P. J., 16 Aug 2010, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 7th International Conference, CPAIOR 2010, Proceedings. Springer, p. 5-9 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6140 LNCS).

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

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

Philosophy of the MiniZinc challenge

Stuckey, P. J., Becket, R. & Fischer, J., 1 Jul 2010, In : Constraints. 15, 3, p. 307-316 10 p.

Research output: Contribution to journalReview ArticleResearchpeer-review

18 Citations (Scopus)

Rapid learning for binary programs

Berthold, T., Feydy, T. & Stuckey, P. J., 16 Aug 2010, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 7th International Conference, CPAIOR 2010, Proceedings. Springer, p. 51-55 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6140 LNCS).

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

6 Citations (Scopus)
2009

A declarative encoding of telecommunications feature subscription in SAT

Codish, M., Genaim, S. & Stuckey, P. J., 30 Nov 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM), p. 255-265 11 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

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

5 Citations (Scopus)

Confidence-based work stealing in parallel constraint programming

Chu, G., Schulte, C. & Stuckey, P. J., 2 Nov 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Springer, p. 226-241 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5732 LNCS).

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

52 Citations (Scopus)

Demand-driven normalisation for ACD term rewriting

De Koninck, L., Duck, G. J. & Stuckey, P. J., 14 Sep 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. Springer, p. 484-488 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5649 LNCS).

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

Erratum to: Efficient constraint propagation engines

Schulte, C. & Stuckey, P. J., Feb 2009, In : ACM Transactions on Programming Languages and Systems. 31, 2, 1 p., 9.

Research output: Contribution to journalComment / DebateOtherpeer-review

Lazy clause generation reengineered

Feydy, T. & Stuckey, P. J., 2 Nov 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Springer, p. 352-366 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5732 LNCS).

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

52 Citations (Scopus)

Minimizing the maximum number of open stacks by customer search

Chu, G. & Stuckey, P. J., 2 Nov 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Springer, p. 242-257 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5732 LNCS).

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

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

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

The proper treatment of undefinedness in constraint languages

Frisch, A. M. & Stuckey, P. J., 2 Nov 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Springer, p. 367-382 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5732 LNCS).

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

12 Citations (Scopus)
2008

Automating branch-and-bound for dynamic programs

Puchinger, J. & Stuckey, P. J., 1 Dec 2008, PEPM'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. p. 81-89 9 p. (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation).

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

8 Citations (Scopus)

Cadmium: An implementation of ACD term rewriting

Duck, G. J., De Koninck, L. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 531-545 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

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

11 Citations (Scopus)

Dynamic analysis of bounds versus domain propagation

Schulte, C. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 332-346 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

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

1 Citation (Scopus)

Dynamic variable elimination during propagation solving

Schulte, C. & Stuckey, P. J., 17 Dec 2008, PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 247-257 11 p. (PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

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

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)

Fast set bounds propagation using BDDs

Gange, G., Lagoon, V. & Stuckey, P. J., 1 Jan 2008, Frontiers in Artificial Intelligence and Applications. IOS Press, p. 505-509 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 178).

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

3 Citations (Scopus)

Global difference constraint propagation for finite domain solvers

Feydy, T., Schutt, A. & Stuckey, P. J., 17 Dec 2008, PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 226-235 10 p. (PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-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

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)

Modelling for lazy clause generation

Ohrimenko, O. & Stuckey, P. J., 1 Dec 2008, Theory of Computing 2008 - Proceedings of the Fourteenth Computing: The Australasian Theory Symposium, CATS 2008. (Conferences in Research and Practice in Information Technology Series; vol. 77).

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

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)

Optimizing compilation of CHR with rule priorities

De Koninck, L., Stuckey, P. J. & Duck, G. J., 14 May 2008, Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings. p. 32-47 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4989 LNCS).

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

7 Citations (Scopus)

Preface

Stuckey, P. J., 26 Nov 2008, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5202 LNCS

Research output: Contribution to journalEditorialOtherpeer-review

Telecommunications feature subscription as a partial order constraint problem

Codish, M., Lagoon, V. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 749-753 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

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

4 Citations (Scopus)

The core concept for 0/1 integer programming

Huston, S., Puchinger, J. & Stuckey, P., 1 Dec 2008, Theory of Computing 2008 - Proceedings of the Fourteenth Computing: The Australasian Theory Symposium, CATS 2008. (Conferences in Research and Practice in Information Technology Series; vol. 77).

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

1 Citation (Scopus)
2007

Constraint propagation for loose constraint graphs

Francis, K. & Stuckey, P. J., 18 Oct 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. p. 334-335 2 p. (Proceedings of the ACM Symposium on Applied Computing).

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

Encodings of the SEQUENCE constraint

Brand, S., Narodytska, N., Quimper, C. G., Stuckey, P. & Walsh, T., 1 Dec 2007, Principles and Practice of Constraint Programming - CP 2007 - 13th International Conference, CP 2007, Proceedings. p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4741 LNCS).

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

31 Citations (Scopus)

Fast node overlap removal - Correction

Dwyer, T., Marriott, K. & Stuckey, P. J., 1 Dec 2007, Graph Drawing - 14th International Symposium, GD 2006, Revised Papers. Springer, p. 446-447 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4372 LNCS).

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

8 Citations (Scopus)

Flexible, rule-based constraint model linearisation

Brand, S., Duck, G. J., Puchinger, J. & Stuckey, P. J., 1 Dec 2007, Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, Proceedings. p. 68-83 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4902 LNCS).

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

4 Citations (Scopus)

Minimum cardinality matrix decomposition into consecutive-ones matrices: CP and IP approaches

Baatar, D., Boland, N., Brand, S. & Stuckey, P. J., 20 Dec 2007, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 4th International Conference, CPAIOR 2007, Proceedings. p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4510 LNCS).

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

27 Citations (Scopus)

Observable confluence for constraint handling rules

Duck, G. J., Stuckey, P. J. & Sulzmann, M., 1 Dec 2007, Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. p. 224-239 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

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

23 Citations (Scopus)

Practical preference relations for large data sets

Ross, K. A., Stuckey, P. J. & Marian, A., 1 Dec 2007, Workshops in Conjunction with the International Conference on Data Engineering - ICDE' 07. p. 229-236 8 p. 4400997. (Proceedings - International Conference on Data Engineering).

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

1 Citation (Scopus)

Propagating dense systems of integer linear equations

Feydy, T. & Stuckey, P. J., 18 Oct 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. p. 306-310 5 p. (Proceedings of the ACM Symposium on Applied Computing).

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

1 Citation (Scopus)

Propagation = Lazy clause generation

Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Dec 2007, Principles and Practice of Constraint Programming - CP 2007 - 13th International Conference, CP 2007, Proceedings. p. 544-558 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4741 LNCS).

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

25 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

11 Citations (Scopus)