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

Research activity per year

Search results

  • 2018

    Propagating regular membership with dashed strings

    Amadini, R., Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 13-29 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

    7 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

    10 Citations (Scopus)
  • Sequential precede chain for value symmetry elimination

    Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 144-159 16 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

    3 Citations (Scopus)
  • Solution-based phase saving and MaxSAT for employee scheduling: a computational study

    Demirovic, E., Winter, F., Musliu, N. & Stuckey, P. J., 2018, PATAT 2018: Proceedings of the 12th International Conference on Practice and Theory of Automated Timetabling . Burke, E. K., Di Gaspero, L., McCollum, B., Musliu, N. & Ozcan, E. (eds.). Vienna Austria: PATAT, p. 453-457 5 p.

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

    Open Access
    File
  • Solution-based phase saving for CP: a value-selection heuristic to simulate local search behavior in complete solvers

    Demirović, E., Chu, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 99-108 10 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

    23 Citations (Scopus)
  • Solver-independent large neighbourhood search

    Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

    10 Citations (Scopus)
  • Solver independent rotating workforce scheduling

    Musliu, N., Schutt, A. & Stuckey, P. J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018 Delft, The Netherlands, June 26–29, 2018 Proceedings. van Hoeve, W-J. (ed.). Cham Switzerland: Springer, p. 429-445 17 p. (Lecture Notes in Computer Science; vol. 10848 ).

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

    10 Citations (Scopus)
  • Sweep-based propagation for string constraint solving

    Amadini, R., Gange, G. & Stuckey, P. J., 2018, The Thirty-Second AAAI Conference on Artificial Intelligence. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 6557-6564 8 p.

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

    Open Access
    File
    9 Citations (Scopus)
  • 2017

    A benders decomposition approach to deciding modular linear integer arithmetic

    Kafle, B., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Gaspers, S. & Walsh, T. (eds.). Cham Switzerland: Springer, p. 380-397 18 p. (Lecture Notes in Computer Science ; vol. 10491 ).

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

    1 Citation (Scopus)
  • A declarative approach to constrained community detection

    Ganji, M., Bailey, J. & Stuckey, P. J., 2017, Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Beck, J. C. (ed.). Cham Switzerland: Springer, p. 477-494 18 p. (Lecture Notes in Computer Science ; vol. 10416 ).

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

    13 Citations (Scopus)
  • A novel approach to string constraint solving

    Amadini, R., Gange, G., Stuckey, P. J. & Tack, G., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 . p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 10416).

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

    15 Citations (Scopus)
  • Automatic logic-based benders decomposition with minizinc

    Davies, T. O., Gange, G. & Stuckey, P. J., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17): San Francisco, California, USA — February 04 - 09, 2017. Singh, S. & Markovitch, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 787-793 7 p. 1642

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

    7 Citations (Scopus)
  • Combining string abstract domains for JavaScript analysis: an evaluation

    Amadini, R., Jordan, A., Gange, G., Gauthier, F., Schachte, P., Søndergaard, H., Stuckey, P. J. & Zhang, C., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 Uppsala, Sweden, April 22–29, 2017 Proceedings, Part I. Legay, A. & Margaria, T. (eds.). Berlin Germany: Springer, p. 41-57 17 p. (Lecture Notes in Computer Science ; vol. 10205 ).

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

    23 Citations (Scopus)
  • Context-sensitive dynamic partial order reduction

    Albert, E., Arenas, P., De La Banda, M. G., Gómez-Zamalloa, M. & Stuckey, P. J., 2017, Computer Aided Verification : 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Berlin Germany: Springer, p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS).

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

    Open Access
    File
    25 Citations (Scopus)
  • Fixing the state budget: approximation of regular languages with small DFAs

    Gange, G., Ganty, P. & Stuckey, P. J., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017 Pune, India, October 3–6, 2017 Proceedings. D’Souza, D. & Narayan Kumar, K. (eds.). Cham Switzerland: Springer, p. 67-83 17 p. (Lecture Notes in Computer Science ; vol. 10482 ).

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

    6 Citations (Scopus)
  • 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 proceedingConference PaperResearchpeer-review

  • MiniZinc with strings

    Amadini, R., Flener, P., Pearson, J., Scott, J. D., Stuckey, P. J. & Tack, G., 2017, Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016,Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham, Switzerland: Springer, p. 59-75 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

    11 Citations (Scopus)
  • 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 proceedingConference PaperResearchpeer-review

  • 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

    24 Citations (Scopus)
  • 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 proceedingConference PaperResearchpeer-review

    5 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

    16 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

    21 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 proceedingConference PaperResearch

    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 proceedingConference PaperResearchpeer-review

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

    1 Citation (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
    25 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 proceedingConference PaperResearchpeer-review

    12 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 proceedingConference PaperResearchpeer-review

    5 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

    Open Access
    File
    9 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

    15 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 proceedingConference PaperResearchpeer-review

    23 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

    2 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 proceedingConference PaperResearchpeer-review

    11 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-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 proceedingConference PaperOtherpeer-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 proceedingConference PaperResearchpeer-review

    Open Access
    File
    7 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 proceedingConference PaperResearchpeer-review

  • 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

    32 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

    Open Access
    File
    3 Citations (Scopus)
  • A satisfiability solving approach

    Schutt, A., Feydy, T., Stuckey, P. J. & Wallace, M., 2015, Handbook of Project Management and Scheduling Vol. 1. Schwindt, C. & Zimmermann, J. (eds.). Cham Switzerland: Springer, p. 135 - 160 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

    6 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 proceedingConference PaperResearchpeer-review

    4 Citations (Scopus)
  • Automatic minimal-height table layout

    Bilauca, M., Gange, G., Healy, P., Marriott, K. G., Moulder, P. & Stuckey, P. J., 2015, In: INFORMS Journal on Computing. 27, 3, p. 449 - 461 13 p.

    Research output: Contribution to journalArticleResearchpeer-review

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