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

#∃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)

3 R's of optimizing constraint logic programs: Refinement, removal and reordering

Marriott, K. & Stuckey, P. J., 1 Jan 1993, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 334-344 11 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

33 Citations (Scopus)

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

Abstract interpretation for constraint handling rules

Schrijvers, T., Stuckey, P. J. & Duck, G. J., 1 Dec 2005, PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 218-229 12 p. (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming; vol. 2005).

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

14 Citations (Scopus)

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)

ACD term rewriting

Duck, G. J., Stuckey, P. J. & Brand, S., 1 Jan 2006, Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer, p. 117-131 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4079 LNCS).

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

13 Citations (Scopus)

A constraint logic programming shell

Lim, P. & Stuckey, P. J., 1 Jan 1990, Programming Language Implementation and Logic Programming - International Workshop PLILP 1990, Proceedings. Deransart, P. & Maluszynski, J. (eds.). Springer, p. 75-88 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 456 LNCS).

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

8 Citations (Scopus)

A declarative encoding of telecommunications feature subscription in SAT

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

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

5 Citations (Scopus)

A framework for analysis of typed logic programs

Lagoon, V. & Stuckey, P. J., 1 Jan 2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kuchen, H. & Ueda, K. (eds.). Springer, p. 296-310 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2024).

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

11 Citations (Scopus)

A framework for extended algebraic data types

Sulzmann, M., Wazny, J. & Stuckey, P. J., 17 Jul 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Proceedings. p. 47-64 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3945 LNCS).

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

12 Citations (Scopus)

A general implementation framework for tabled CLP

Chico De Guzmán, P., Carro, M., Hermenegildo, M. V. & Stuckey, P., 6 Jun 2012, Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings. Springer, p. 104-119 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7294 LNCS).

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

9 Citations (Scopus)

A generic method for identifying and exploiting dominance relations

Chu, G. & Stuckey, P. J., 7 Nov 2012, Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer, p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7514 LNCS).

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

5 Citations (Scopus)

A hybrid BDD and SAT finite domain constraint solver

Hawkins, P. & Stuckey, P. J., 1 Dec 2005, Practical Aspects of Declarative Languages - 8th International Symposium, PADL 2006, Proceedings. p. 103-117 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3819 LNCS).

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

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

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)

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)

An efficient heuristic-based evolutionary algorithm for solving constraint satisfaction problems

Tam, V. & Stuckey, P., 1 Jan 1998, Proceedings - IEEE International Joint Symposia on Intelligence and Systems. IEEE, Institute of Electrical and Electronics Engineers, p. 75-82 8 p. 685421. (Proceedings - IEEE International Joint Symposia on Intelligence and Systems).

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

2 Citations (Scopus)

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)

An optimizing compiler for CLP(R)

Kelly, A. D., Macdonald, A., Marriott, K., Søndergaard, H., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1995, Principles and Practice of Constraint Programming — CP 1995 - 1st International Conference, CP 1995, Proceedings. Montanari, U. & Rossi, F. (eds.). Springer, p. 222-239 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 976).

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

9 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

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 stochastic non-CNF SAT solver

Muhammad, R. & Stuckey, P. J., 1 Jan 2006, PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer, p. 120-129 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4099 LNAI).

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

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

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

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

3 Citations (Scopus)

Automating branch-and-bound for dynamic programs

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

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

8 Citations (Scopus)

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

1 Citation (Scopus)

Beyond finite domains

Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 86-94 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

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

54 Citations (Scopus)

Boolean constraints for binding-time analysis

Glynn, K., Stuckey, P. J., Sulzmann, M. & Søndergaard, H., 1 Dec 2001, Programs as Data Objects - Second Symposium, PADO 2001, Proceedings. p. 39-62 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2053 LNCS).

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

12 Citations (Scopus)

Boolean equi-propagation for optimized SAT encoding

Metodi, A., Codish, M., Lagoon, V. & Stuckey, P. J., 26 Sep 2011, Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings. Springer, p. 621-636 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

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

14 Citations (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.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1289-1296 8 p.

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

Open Access
File
2 Citations (Scopus)

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)

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)

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

Cadmium: An implementation of ACD term rewriting

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

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

11 Citations (Scopus)

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

9 Citations (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 constraint solving using projection

Harvey, W., Stuckey, P. J. & Borning, A., 1 Jan 1997, Principles and Practice of Constraint Programming - CP 1997 - 3rd International Conference, CP 1997, Proceedings. Smolka, G. (ed.). Springer, p. 491-505 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1330).

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

11 Citations (Scopus)

Compiling query constraints

Stuckey, P. J. & Sudarshan, S., 1 Jan 1994, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery (ACM), p. 56-67 12 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).

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

16 Citations (Scopus)

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

3 Citations (Scopus)

Confidence-based work stealing in parallel constraint programming

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

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

52 Citations (Scopus)

Conflict directed lazy decomposition

Abío, I. & Stuckey, P. J., 7 Nov 2012, Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer, p. 70-85 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7514 LNCS).

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

12 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

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)

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

Constraint propagation for loose constraint graphs

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

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

Constraints in non-boolean contexts

De Koninck, L., Brand, S. & Stuckey, P. J., 1 Dec 2011, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011. p. 117-127 11 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 11).

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

2 Citations (Scopus)