Peter Stuckey

Professor

Accepting PhD Students

1986 …2022

Research output per year

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

Research Output

2020

Logistics optimization for a coal supply chain

Belov, G., Boland, N. L., Savelsbergh, M. W. P. & Stuckey, P. J., 14 Jan 2020, (Accepted/In press) In : Journal of Heuristics. 32 p.

Research output: Contribution to journalArticleResearchpeer-review

2019

An investigation into prediction + optimisation for the knapsack problem

Demirović, E., Stuckey, P. J., Bailey, J., Chan, J., Leckie, C., Ramamohanarao, K. & Guns, T., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 241-257 17 p. (Lecture Notes in Computer Science; vol. 11494 ).

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

1 Citation (Scopus)

Branch-and-cut-and-price for multi-agent pathfinding

Lam, E., Bodic, P. L., Harabor, D. D. & Stuckey, P. J., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 1289-1296 8 p.

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

Open Access
File
1 Citation (Scopus)

Compiling conditional constraints

Stuckey, P. J. & Tack, G., 2019, Principles and Practice of Constraint Programming : 25th International Conference, CP 2019 Stamford, CT, USA, September 30 – October 4, 2019 Proceedings. Schiex, T. & de Givry, S. (eds.). Cham Switzerland: Springer, p. 384-400 17 p. (Lecture Notes in Computer Science ; vol. 11802 ).

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

Compiling CP subproblems to MDDs and d-DNNFs

de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., Jan 2019, In : Constraints. 24, 1, p. 56-93 38 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Constraint programming for dynamic symbolic execution of JavaScript

Amadini, R., Andrlon, M., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science ; vol. 11494 ).

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

Core-boosted linear search for incomplete MaxSAT

Berg, J., Demirović, E. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: and Operations Research 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 39-56 18 p. (Lecture Notes in Computer Science ; vol. 11494 ).

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

1 Citation (Scopus)

Cutting the size of Compressed Path Databases with wildcards and redundant symbols

Chiari, M., Zhao, S., Botea, A., Gerevini, A., Harabor, D., Saetti, A., Salvetti, M. & Stuckey, P. J., 5 Jul 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. Benton, J., Lipovetzky, N., Onaindia, E., E. Smith, D. & Srivastava, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 29. p. 106-113 8 p.

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

Open Access
File

Disjoint splitting for conflict-based search for Multi-Agent Path Finding

Li, J., Harabor, D., Stuckey, P. J., Felner, A., Ma, H. & Koenig, S., 5 Jul 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. Benton, J., Lipovetzky, N., Onaindia, E., E. Smith, D. & Srivastava, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 29. p. 279-283 5 p.

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

Open Access
File

Dissecting widening: separating termination from information

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Programming Languages and Systems : 17th Asian Symposium, APLAS 2019 Nusa Dua, Bali, Indonesia, December 1–4, 2019 Proceedings. Lin, A. W. (ed.). Cham Switzerland: Springer, p. 95-114 20 p. (Lecture Notes in Computer Science; vol. 11893 ).

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

Election manipulation with partial information

Blom, M., Stuckey, P. J. & Teague, V. J., 2019, Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019 Bregenz, Austria, October 1–4, 2019 Proceedings. Krimmer, R., Volkamer, M., Cortier, V., Beckert, B., Küsters, R., Serdült, U. & Duenas-Cid, D. (eds.). Cham Switzerland: Springer, p. 32-49 18 p. (Lecture Notes in Computer Science ; vol. 11759 ).

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

Exploring declarative local-search neighbourhoods with constraint programming

Björdal, G., Flener, P., Pearson, J. & Stuckey, P. J., 2019, Principles and Practice of Constraint Programming : 25th International Conference, CP 2019 Stamford, CT, USA, September 30 – October 4, 2019 Proceedings. Schiex, T. & de Givry, S. (eds.). Cham Switzerland: Springer, p. 37-53 17 p. (Lecture Notes in Computer Science ; vol. 11802 ).

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

Information-theoretic inference of an optimal dictionary of protein supersecondary structures

Konagurthu, A. S., Subramanian, R., Allison, L., Abramson, D., de la Banda, M. G., Stuckey, P. J. & Lesk, A. M., 2019, Protein Supersecondary Structures: Methods and Protocols. E. Kister, A. (ed.). 2nd ed. New York NY USA: Springer, p. 123-131 9 p. (Methods in molecular biology (Clifton, N.J.); vol. 1958).

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

Lazy CBS: implict Conflict-Based Search using Lazy Clause Generation

Gange, G., Harabor, D. & Stuckey, P. J., 5 Jul 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling. Benton, J., Lipovetzky, N., Onaindia, E., E. Smith, D. & Srivastava, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 29. p. 155-162 8 p.

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

Open Access
File

Local Rapid Learning for integer programs

Berthold, T., Stuckey, P. J. & Witzig, J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 67-83 17 p. (Lecture Notes in Computer Science ; vol. 11494).

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

Optimal bounds for floating-point addition in constant time

Andrlon, M., Schachte, P., Sondergaard, H. & Stuckey, P. J., 2019, Proceedings - 26th IEEE Symposium on Computer Arithmetic, ARITH-26 (2019). Takagi, N., Boldo, S. & Langhammer, M. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 159-166 8 p. 8877445

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

Optimal context-sensitive Dynamic Partial Order Reduction with observers

Albert, E., De La Banda, M. G., Gómez-Zamalloa, M., Isabel, M. & Stuckey, P. J., 2019, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 352-362 11 p.

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

1 Citation (Scopus)

Path planning with CPD heuristics

Bono, M., Gerevini, A., Harabor, D. & Stuckey, P., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 1199-1205 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).

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

Open Access
File

Peak-hour rail demand shifting with discrete optimisation

Betts, J. M., Dowe, D. L., Guimarans, D., Harabor, D., Kumarage, H., Stuckey, P. J. & Wybrow, M., 2019, Principles and Practice of Constraint Programming: 25th International Conference, CP 2019 Stamford, CT, USA, September 30 – October 4, 2019 Proceedings. Schiex, T. & de Givry, S. (eds.). Cham Switzerland: Springer, p. 748-763 16 p. (Lecture Notes in Computer Science; vol. 11802).

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

Predict+optimise with ranking objectives: exhaustively learning linear functions

Demirović, E., Stuckey, P. J., Bailey, J., Chan, J., Leckie, C., Ramamohanarao, K. & Guns, T., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 1078-1085 8 p.

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

Open Access
File

Preface

Mesnard, F. & Stuckey, P. J., 2019, In : Lecture Notes in Computer Science. 11408 , p. V-VI 2 p.

Research output: Contribution to journalEditorialOtherpeer-review

Regarding jump point search and subgoal graphs

Harabor, D. D., Uras, T., Stuckey, P. J. & Koenig, S., 2019, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2019. Kraus, S. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 1241-1248 8 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).

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

Open Access
File

Searching with consistent prioritization for Multi-Agent Path Finding

Ma, H., Harabor, D., J. Stuckey, P., Li, J. & Koenig, S., 2019, Proceedings of AAAI19-Thirty-Third AAAI conference on Artificial Intelligence. Van Hentenryck, P. & Zhou, Z-H. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 7643-7650 8 p. 4465. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, no. 1).

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

Open Access
File

Semi-supervised blockmodelling with pairwise guidance

Ganji, M., Chan, J., Stuckey, P. J., Bailey, J., Leckie, C., Ramamohanarao, K. & Park, L., 2019, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2018 Dublin, Ireland, September 10–14, 2018 Proceedings, Part II. Berlingerio, M., Bonchi, F., Gärtner, T., Hurley, N. & Ifrim, G. (eds.). Cham Switzerland: Springer, p. 158-174 17 p. (Lecture Notes in Computer Science; vol. 11052).

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

1 Citation (Scopus)

Short-term planning for open pit mines: a review

Blom, M., Pearce, A. R. & Stuckey, P. J., 2019, In : International Journal of Mining, Reclamation and Environment. 33, 5, p. 318-339 22 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Symmetry-breaking constraints for grid-based Multi-Agent Path Finding

Li, J., Harabor, D., Stuckey, P. J., Ma, H. & Koenig, S., 2019, Proceedings of AAAI19-Thirty-Third AAAI conference on Artificial Intelligence. Van Hentenryck, P. & Zhou, Z-H. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 6087-6095 9 p. 3877. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, no. 1).

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

Open Access
File

Techniques inspired by local search for incomplete MaxSAT and the linear algorithm: varying resolution and solution-guided search

Demirović, E. & Stuckey, P. J., 2019, Principles and Practice of Constraint Programming : 25th International Conference, CP 2019 Stamford, CT, USA, September 30 – October 4, 2019 Proceedings. Schiex, T. & de Givry, S. (eds.). Cham Switzerland: Springer, p. 177-194 18 p. (Lecture Notes in Computer Science; vol. 11802 ).

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

Time table edge finding with energy variables

Yang, M., Schutt, A. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 633-642 10 p. (Lecture Notes in Computer Science ; vol. 11494).

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

Wombit: a portfolio bit-vector solver using word-level propagation

Wang, W., Søndergaard, H. & Stuckey, P. J., Oct 2019, In : Journal of Automated Reasoning. 63, 3, p. 723-762 40 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)
2018

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
4 Citations (Scopus)

Ballot-polling risk limiting audits for IRV elections

Blom, M., Stuckey, P. J. & Teague, V. J., 2018, Electronic Voting : Third International Joint Conference, E-Vote-ID 2018 Bregenz, Austria, October 2–5, 2018 Proceedings. Krimmer, R., Volkamer, M., Cortier, V., Gore, R., Hapsara, M., Serdult, U. & Duenas-Cid, D. (eds.). Cham Switzerland: Springer, p. 17-34 18 p. (Lecture Notes in Computer Science ; vol. 11143 ).

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

Breaking symmetries with lex implications

Codish, M., Ehlers, T., Gange, G., Itzhakov, A. & Stuckey, P. J., 2018, Functional and Logic Programming: 14th International Symposium, FLOPS 2018 Nagoya, Japan, May 9–11, 2018 Proceedings. Gallagher, J. P. & Sulzmann, M. (eds.). Cham Switzerland: Springer, p. 182-197 16 p. (Lecture Notes in Computer Science ; vol. 10818 ).

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

Computing the margin of victory in preferential parliamentary elections

Blom, M., Stuckey, P. J. & Teague, V. J., 2018, Electronic Voting : Third International Joint Conference, E-Vote-ID 2018 Bregenz, Austria, October 2–5, 2018 Proceedings. Krimmer, R., Volkamer, M., Cortier, V., Gore, R., Hapsara, M., Serdult, U. & Duenas-Cid, D. (eds.). Cham Switzerland: Springer, p. 1-16 16 p. (Lecture Notes in Computer Science ; vol. 11143 ).

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

2 Citations (Scopus)

Constraint programming for high school timetabling: a scheduling-based model with hot starts

Demirović, E. & 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. 135-152 18 p. (Lecture Notes in Computer Science ; vol. 10848 ).

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

1 Citation (Scopus)

Constraints for symmetry breaking in graph representation

Codish, M., Miller, A., Prosser, P. & Stuckey, P. J., 2018, In : Constraints. 24, 1, p. 1-24 24 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

Data instance generator and optimization models for evacuation planning in the event of wildfire

Artigues, C., Hébrard, E., Pencolé, Y., Schutt, A. & Stuckey, P. J., 2018, RSFF 2018, Robust Solutions for Fire Fighting: Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting, L'Aquila, Italy, July 19-20, 2018. Di Stefano, G. & Navarra, A. (eds.). Italy: CEUR Workshop Proceedings, Vol. 2146. p. 75-86 12 p. (CEUR Workshop Proceedings).

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

Open Access
File

Declarative local-search neighbourhoods in MiniZinc

Bjordal, G., Flener, P., Pearson, J., Stuckey, P. J. & Tack, G., 2018, Proceedings - 2018 IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018: 5–7 November 2018 Volos, Greece. Alamaniotis, M. (ed.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 98-105 8 p. 8576023

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

4 Citations (Scopus)

Forward search in contraction hierarchies

Harabor, D. D. & Stuckey, P. J., 2018, Proceedings of the Eleventh International Symposium on Combinatorial Search. Bulitko, V. & Storandt, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 55-62 8 p.

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

Open Access
File

Image constrained blockmodelling: a constraint programming approach

Ganji, M., Chan, J., Stuckey, P. J., Bailey, J., Leckie, C., Ramamohanarao, K. & Davidson, I., 2018, Proceedings of the 2018 SIAM International Conference on Data Mining (SDM18): San Diego, California, USA. Ester, M. & Pedreschi, D. (eds.). Philadelphia PA USA: Society for Industrial & Applied Mathematics (SIAM), p. 19-27 9 p.

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

1 Citation (Scopus)

Lagrangian constrained community detection

Ganj, M., Bailey, J. & 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. 2983-2990 8 p.

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

Open Access
File
3 Citations (Scopus)

Machine Learning and Constraint Programming for Relational-to-Ontology schema mapping

De Uña, D., Rümmele, N., Gange, G., Schachte, P. & Stuckey, P. J., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1277-1283 7 p.

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

Open Access
File
2 Citations (Scopus)

Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems

Kreter, S., Schutt, A., Stuckey, P. J. & Zimmermann, J., 16 Apr 2018, In : European Journal of Operational Research. 266, 2, p. 472-486 15 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Multi-objective short-term production scheduling for open-pit mines: a hierarchical decomposition-based algorithm

Blom, M., Pearce, A. R. & Stuckey, P. J., 12 Feb 2018, In : Engineering Optimization. 50, 12, p. 2143-2160 18 p.

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Optimal Sankey Diagrams via Integer Programming

Zarate, D. C., Bodic, P. L., Dwyer, T., Gange, G. & Stuckey, P., 2018, Proceedings - 2018 IEEE Pacific Visualization Symposium, PacificVis 2018: 10–13 April 2018 Kobe, Japan. Bruckner, S., Koyamada, K. & Lee, B. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 135-139 5 p.

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

2 Citations (Scopus)

Propagating lex, find and replace with dashed strings

Amadini, R., Gange, G. & 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. 18-34 17 p. (Lecture Notes in Computer Science ; vol. 10848 ).

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

2 Citations (Scopus)

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

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

3 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

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

3 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

5 Citations (Scopus)