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

Filter
Conference Paper
2017

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

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. 7923707. (Data Compression Conference. Proceedings).

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

3 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

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

5 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

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

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

10 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
6 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

4 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

2 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: International Joint Conferences on Artificial Intelligence, p. 4140-4144 5 p.

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

Open Access
File

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

12 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

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

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

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

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

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

7 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: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1141-1149 9 p.

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

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

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

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

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

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

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

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

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

10 Citations (Scopus)
2013

Abstract interpretation over non-lattice abstract domains

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 26 Sep 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 proceedingConference PaperResearchpeer-review

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

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

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

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

1 Citation (Scopus)

Explaining propagators for edge-valued decision diagrams

Gange, G., Stuckey, P. J. & Van Hentenryck, P., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 340-355 16 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 proceedingConference PaperResearchpeer-review

9 Citations (Scopus)

Explaining time-table-edge-finding propagation for the cumulative resource constraint

Schutt, A., Feydy, T. & 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. 234-250 17 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 proceedingConference PaperResearchpeer-review

23 Citations (Scopus)

Finite type extensions in constraint programming

Caballero, R., Stuckey, P. J. & Tenorio-Fornés, A., 15 Oct 2013, Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013. p. 217-227 11 p. (Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013).

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

1 Citation (Scopus)

Inductive definitions in constraint programming

Aziz, R. A., Stuckey, P. J. & Somogyi, Z., 1 Jan 2013, Computer Science 2013 - Proceedings of the 36th Australasian Computer Science Conference, ACSC 2013. Thomas, B. (ed.). Australian Computer Society Inc, p. 41-50 10 p. (Conferences in Research and Practice in Information Technology Series; vol. 135).

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

1 Citation (Scopus)

Modelling destructive assignments

Francis, K., Navas, J. & Stuckey, P. J., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 315-330 16 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 proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Scheduling optional tasks with explanation

Schutt, A., Feydy, T. & Stuckey, P. J., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 628-644 17 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 proceedingConference PaperResearchpeer-review

10 Citations (Scopus)