Peter Stuckey

View Scopus Profile

Peter Stuckey

Professor

 https://orcid.org/0000-0003-2186-0459

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 …2025

Research activity per year

Filter
Conference Paper

Search results

  • 2017

    Minimizing landscape resistance for habitat conservation

    de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2017, Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017 Padua, Italy, June 5–8, 2017 Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham Switzerland: Springer, p. 113-130 18 p. (Lecture Notes in Computer Science ; vol. 10335 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

  • Range-consistent forbidden regions of Allen’s relations

    Beldiceanu, N., Carlsson, M., Derrien, A., Prud’homme, C., Schutt, A. & Stuckey, P. J., 2017, Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017 Padua, Italy, June 5–8, 2017 Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham Switzerland: Springer, p. 21-29 9 p. (Lecture Notes in Computer Science ; vol. 10335 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

  • Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes

    Subramanian, R., Allison, L., Stuckey, P. J., de la Banda, M. G., Abramson, D., Lesk, A. M. & Konagurthu, A. S., 8 May 2017, Proceedings - DCC 2017, 2017 Data Compression Conference: 4 - 7 April 2017, Snowbird, Utah, USA. Bilgin, A., Marcellin, M. W., Serra-Sagrista, J. & Storer, J. A. (eds.). Piscataway, NJ: IEEE, Institute of Electrical and Electronics Engineers, p. 340-349 10 p. (Data Compression Conference. Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    5 Citations (Scopus)
  • 2016

    A bit-vector solver with word-level propagation

    Wang, W., Søndergaard, H. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C.-G. (ed.). Cham Switzerland: Springer, p. 374-391 18 p. (Lecture Notes in Computer Science ; vol. 9676).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research

    6 Citations (Scopus)

  • A bounded path propagator on directed graphs

    de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 189-206 18 p. (Lecture Notes in Computer Science ; vol. 9892 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    4 Citations (Scopus)

  • An abstract domain of uninterpreted functions

    Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2016, Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016 St. Petersburg, FL, USA, January 17–19, 2016 Proceedings. Jobstmann, B. & M. Leino, K. R. (eds.). Berlin Germany: Springer, p. 85-103 19 p. (Lecture Notes in Computer Science ; vol. 9583).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    15 Citations (Scopus)

  • Breaking symmetries in graphs: the nauty way

    Codish, M., Gange, G., Itzhakov, A. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 157-172 16 p. (Lecture Notes in Computer Science ; vol. 9892 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    10 Citations (Scopus)

  • Constraint propagation and explanation over novel types by abstract compilation

    Gange, G. & Stuckey, P. J., Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming: ICLP 2016, October 16–21, 2016, New York City, USA. Carro, M., King, A., Saeedloei, N. & De Vos, M. (eds.). Wadern Germany: Schloss Dagstuhl, 14 p. 13. (OpenAccess Series in Informatics; vol. 52).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File

  • Efficient computation of exact IRV margins

    Blom, M., Teague, V., Stuckey, P. J. & Tidhar, R., 2016, Frontiers in Artificial Intelligence and Applications: ECAI 2016 - 22nd European Conference on Artificial Intelligence 29 August–2 September 2016, The Hague, The Netherlands. Kaminka, G. A., Fox, M., Bouquet, P., Hullermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (eds.). Amsterdam Netherlands: IOS Press, p. 480-488 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    10 Citations (Scopus)

  • Explaining producer/consumer constraints

    Schutt, A. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 438-454 17 p. (Lecture Notes in Computer Science ; vol. 9892).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    3 Citations (Scopus)

  • Exploiting sparsity in difference-bound matrices

    Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2016, Static Analysis: 23rd International Symposium, SAS 2016 Edinburgh, UK, September 8–10, 2016 Proceedings. Rival, X. (ed.). Berlin Germany: Springer, p. 189-211 23 p. (Lecture Notes in Computer Science ; vol. 9837 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    17 Citations (Scopus)

  • Improved linearization of constraint programming models

    Belov, G., Stuckey, P. J., Tack, G. & Wallace, M., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Switzerland: Springer, p. 49-65 17 p. (Lecture Notes in Computer Science; vol. 9892).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    26 Citations (Scopus)

  • Interval constraints with learning: application to Air Traffic Control

    Feydy, T. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 224-232 9 p. (Lecture Notes in Computer Science ; vol. 9892 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

  • Lagrangian constrained clustering

    Ganji, M., Bailey, J. & Stuckey, P. J., 2016, Proceedings of the 2016 SIAM International Conference on Data Mining. Venkatasubramanian, S. C. & Meira, W. (eds.). Philadelphia PA USA: Society for Industrial & Applied Mathematics (SIAM), p. 288-296 9 p. (16th SIAM International Conference on Data Mining 2016, SDM 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    9 Citations (Scopus)

  • Lagrangian decomposition via sub-problem search

    Chu, G., Gange, G. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C.-G. (ed.). Cham Switzerland: Springer, p. 65-80 16 p. (Lecture Notes in Computer Science ; vol. 9676).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    3 Citations (Scopus)

  • On CNF encodings of decision diagrams

    Abío, I., Gange, G., Mayer-Eichberger, V. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C.-G. (ed.). Cham Switzerland: Springer, p. 1-17 17 p. (Lecture Notes in Computer Science ; vol. 9676).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    12 Citations (Scopus)

  • Parallelizing constraint programming with learning

    Ehlers, T. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C.-G. (ed.). Cham Switzerland: Springer, p. 142-158 17 p. (Lecture Notes in Computer Science ; vol. 9676).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    3 Citations (Scopus)

  • Rail capacity modelling with constraint programming

    Harabor, D. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming : 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C.-G. (ed.). Cham Switzerland: Springer, p. 170-186 17 p. (Lecture Notes in Computer Science ; vol. 9676).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Sequencing operator counts

    Davies, T. O., Pearce, A. R., Stuckey, P. & Lipovetzky, N., 2016, IJCAI-16 - Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI 2016: New York, New York, USA 9–15 July 2016. Kambhampati, S. (ed.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 4140-4144 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review

    Open Access
    File
    1 Citation (Scopus)

  • Steiner tree problems with side constraints using constraint programming

    De Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI'16 ): February 12–17, 2016 Phoenix, Arizona, USA. Schuurmans, D. & Wellman, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 3383-3389 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    8 Citations (Scopus)

  • Symmetry declarations for MiniZinc

    Baxter, N., Chu, G. & Stuckey, P. J., 2016, ACSW'16 - Proceedings of the Australasian Computer Science Week Multiconference: Canberra, Australia - February 01-05, 2016. Parry, D. & Strazdins, P. (eds.). New York NY USA: Association for Computing Machinery (ACM), 10 p. 20

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Weighted spanning tree constraint with explanations

    de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C.-G. (ed.). Cham Switzerland: Springer, p. 98-107 10 p. (Lecture Notes in Computer Science ; vol. 9676).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    3 Citations (Scopus)
  • 2015

    #∃SAT: projected model counting

    Aziz, R. A., Chu, G., Muise, C. & Stuckey, P., 2015, Theory and Applications of Satisfiability Testing – SAT 2015: 18th International Conference Austin, TX, USA, September 24–27, 2015 Proceedings. Heule, M. & Weaver, S. (eds.). Cham Switzerland: Springer, p. 121-137 17 p. (Lecture Notes in Computer Science ; vol. 9340).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    40 Citations (Scopus)

  • Analyzing array manipulating programs by program transformation

    Cornish, J. R. M., Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014 Canterbury, UK, September 9–11, 2014 Revised Selected Papers. Proietti, M. & Seki, H. (eds.). Cham Switzerland : Springer, p. 3-20 18 p. (Lecture Notes in Computer Science ; vol. 8981).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    5 Citations (Scopus)

  • Approximate uni-directional benders decomposition

    Burt, C. N., Lipovetzky, N., Pearce, A. R. & Stuckey, P. J., 2015, Workshops at the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15): W12: Planning, Search, and Optimization. Wong, W.-K. & Lowd, D. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. WS-15-12. p. 24-31 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)

  • A tool for intersecting context-free grammars and its applications

    Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2015, NASA Formal Methods: 7th International Symposium, NFM 2015 Pasadena, CA, USA, April 27–29, 2015 Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Cham Switzerland: Springer, p. 422-428 7 p. (Lecture Notes in Computer Science ; vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    4 Citations (Scopus)

  • Encoding linear constraints with implication chains to CNF

    Abío, I., Mayer-Eichberger, V. & Stuckey, P. J., 2015, Principles and Practice of Constraint Programming : 21st International Conference, CP 2015 Cork, Ireland, August 31 – September 4, 2015 Proceedings. Pesant, G. (ed.). Cham Switzerland: Springer, p. 3-11 9 p. (Lecture Notes in Computer Science ; vol. 9255).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    8 Citations (Scopus)

  • Generalized modularity for community detection

    Ganji, M., Seifi, A., Alizadeh, H., Bailey, J. & Stuckey, P. J., 2015, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2015 Porto, Portugal, September 7–11, 2015 Proceedings, Part II. Appice, A., Rodrigues, P. P., Costa, V. S., Gama, J., Jorge, A. & Soares, C. (eds.). Cham Switzerland: Springer, p. 655-670 16 p. (Lecture Notes in Computer Science ; vol. 9285).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    5 Citations (Scopus)

  • Learning value heuristics for constraint programming

    Chu, G. & Stuckey, P. J., 2015, Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015 Barcelona, Spain, May 18–22, 2015 Proceedings. Michel, L. (ed.). Cham Switzerland : Springer, p. 108-123 16 p. (Lecture Notes in Computer Science ; vol. 9075).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    20 Citations (Scopus)

  • Minisearch: a solver-independent meta-search language for MiniZinc

    Rendl, A., Guns, T., Stuckey, P. J. & Tack, G., 2015, 21st International Conference, CP 2015, Proceedings: Principles and Practice of Constraint Programming. Pesant, G. (ed.). Cham Switzerland: Springer, p. 376 - 392 17 p. (Lecture Notes in Computer Science; vol. 9255).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    22 Citations (Scopus)

  • Modeling and solving project scheduling with calendars

    Kreter, S., Schutt, A. & Stuckey, P. J., 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015 Cork, Ireland, August 31 – September 4, 2015 Proceedings. Pesant, G. (ed.). Cham Switzerland: Springer, p. 262-278 17 p. (Lecture Notes in Computer Science; vol. 9255).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    9 Citations (Scopus)

  • Optimisation and relaxation for multiagent planning in the situation calculus

    Davies, T. O., Pearce, A. R., Stuckey, P. J. & Søndergaard, H., 2015, AAMAS'15 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems: May, 4-8, 2018, Istabul, Turkey. Bordini, R. H. & Elkind, E. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 1141-1149 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

  • Scheduling with fixed maintenance, shared resources and nonlinear feedrate constraints: a mine planning case study

    Burt, C. N., Lipovetzky, N., Pearce, A. R. & Stuckey, P. J., 2015, Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015 Barcelona, Spain, May 18–22, 2015 Proceedings. Michel, L. (ed.). Cham Switzerland: Springer, p. 91-107 17 p. (Lecture Notes in Computer Science ; vol. 9075).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    3 Citations (Scopus)

  • Sequencing operator counts

    Davies, T. O., Pearce, A. R., Stuckey, P. & Lipovetzky, N., 2015, Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling. Brafman, R., Domshlak, C., Haslum, P. & Zilberstein, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 61-69 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    11 Citations (Scopus)

  • Stable model counting and its application in probabilistic logic programming

    Aziz, R. A., Chu, G., Muise, C. & Stuckey, P., 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15): Austin, Texas USA - January 25-30, 2015 . Bonet, B. & Koenig, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 5. p. 3468-3474 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    17 Citations (Scopus)
  • 2014

    Encoding linear constraints into SAT

    Abío, I. & Stuckey, P. J., 2014, Principles and Practice of Constraint Programming: 20th International Conference, CP 2014 Lyon, France, September 8-12, 2014 Proceedings. O’Sullivan, B. (ed.). Cham Switzerland : Springer, p. 75-91 17 p. (Lecture Notes in Computer Science ; vol. 8656 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    24 Citations (Scopus)

  • Fragment-based planning using column generation

    Davies, T. O., Pearce, A. R., Stuckey, P. J. & Søndergaard, H., 2014, ICAPS 2014 - Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling: 21-26 June 2014 Portsmouth, New Hampshire USA. Chien, S., Chien, S., Ruml, W. & Do, M. (eds.). Palo Alto CA USA, p. 83-91 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)

  • Local search for a cargo assembly planning problem

    Belov, G., Boland, N., Savelsbergh, M. W. P. & Stuckey, P. J., 2014, Integration of AI and OR Techniques in Constraint Programming : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings. Simonis , H. (ed.). Cham Switzerland : Springer, p. 159-175 17 p. (Lecture Notes in Computer Science ; vol. 8451 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    12 Citations (Scopus)

  • Loop untangling

    Francis, K. & Stuckey, P. J., 2014, Principles and Practice of Constraint Programming: 20th International Conference, CP 2014 Lyon, France, September 8-12, 2014 Proceedings. O’Sullivan, B. (ed.). Cham Switzerland : Springer, p. 340-355 16 p. (Lecture Notes in Computer Science ; vol. 8656 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Modelling with option types in MiniZinc

    Mears, C. D., Schutt, A., Stuckey, P. J., Tack, G., Marriott, K. G. & Wallace, M., 2014, Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 88 - 103 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    8 Citations (Scopus)

  • Nested constraint programs

    Chu, G. & Stuckey, P. J., 2014, Principles and Practice of Constraint Programming: 20th International Conference, CP 2014 Lyon, France, September 8-12, 2014 Proceedings. O’Sullivan, B. (ed.). Cham Switzerland: Springer, p. 240-255 16 p. (Lecture Notes in Computer Science ; vol. 8656 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    6 Citations (Scopus)

  • Planning for mining operations with time and resource constraints

    Lipovetzky, N., Burt, C. N., Pearce, A. R. & Stuckey, P. J., 2014, Proceedings of the Twenty-Fourth International Conf ere nee on Automated Planning and Scheduling. Chien, S., Fern, A., Ruml, W. & Do, M. (eds.). Palo Alto CA USA, p. 404-412 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    Open Access
    File
    15 Citations (Scopus)

  • Seeing around corners: Fast orthogonal connector routing

    Marriott, K. G., Stuckey, P. J. & Wybrow, M. J., 2014, Diagrammatic Representation and Inference: 8th International Conference, Diagrams 2014, Proceedings. Dwyer, T., Purchase, H. & Delaney, A. (eds.). Heidelberg Germany: Springer, p. 31 - 37 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Sequential time splitting and bounds communication for a portfolio of optimization solvers

    Amadini, R. & Stuckey, P. J., 2014, Principles and Practice of Constraint Programming: 20th International Conference, CP 2014 Lyon, France, September 8-12, 2014 Proceedings. O’Sullivan, B. (ed.). Cham Switzerland: Springer, p. 108-124 17 p. (Lecture Notes in Computer Science ; vol. 8656 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    13 Citations (Scopus)

  • Stochastic MiniZinc

    Rendl, A., Tack, G. & Stuckey, P. J., 2014, Proceedings of 20th International Conference (CP 2014): Principles and Practice of Constraint Programming. O'Sullivan, B. (ed.). Cham Switzerland: Springer, p. 636 - 645 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    8 Citations (Scopus)
  • 2013

    Abstract interpretation over non-lattice abstract domains

    Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 26 Sept 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. Springer, p. 6-24 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    17 Citations (Scopus)

  • A lagrangian relaxation based forward-backward improvement heuristic for maximising the net present value of resource-constrained projects

    Gu, H., Schutt, A. & Stuckey, P. J., 1 Dec 2013, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 10th International Conference, CPAIOR 2013, Proceedings. Springer, p. 340-346 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7874 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    17 Citations (Scopus)

  • Automated design of search with composability

    Sabharwal, A., Samulowitz, H., Schrijvers, T., Stuckey, P. J. & Tack, G., 2013, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence. desJardins, M. & Littman, M. L. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 107-109 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research

  • Breaking symmetries in graph representation

    Codish, M., Miller, A., Prosser, P. & Stuckey, P. J., 1 Dec 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 510-516 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    20 Citations (Scopus)

  • Dominance driven search

    Chu, G. & Stuckey, P. J., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 217-229 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8124 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    5 Citations (Scopus)