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

Research Output 1986 2019

Filter
Conference Paper
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

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

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

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

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

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.

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, p. 748-763 16 p. (Lecture Notes in Computer Science; vol. 11802).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-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, 8 p.

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

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

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

2018

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

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

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

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

Lagrangian constrained community detection

Ganj, M., Bailey, J. & Stuckey, P. J., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18 ): New Orleans, Louisiana USA — February 2–7, 2018. 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

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.). California USA: International Joint Conferences on Artificial Intelligence, p. 1277-1283 7 p.

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

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

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

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

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

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

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

Sweep-based propagation for string constraint solving

Amadini, R., Gange, G. & Stuckey, P. J., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18 ): New Orleans, Louisiana USA — February 2–7, 2018. 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
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

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

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

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

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

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

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

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

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

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

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

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

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

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