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

Research Output 2005 2019

Filter
Conference Paper
2019

Reducing the unfairness of coordinated inverter dispatch in PV-rich distribution networks

Lusis, P., Andrew, L. L. H., Liebman, A., Tack, G. & Chakraborty, S., 2019, 2019 IEEE Milan PowerTech, PowerTech 2019. Leva, S. (ed.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, 6 p. 8810940

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

2018

A recursive scenario decomposition algorithm for combinatorial multistage stochastic optimisation problems

Hemmi, D., Tack, G. & Wallace, M., 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 CAL USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1322-1329 8 p.

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

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

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

Towards semi-automatic learning-based model transformation

Zeighami, K., Leo, K., Tack, G. & de la Banda, M. G., 1 Jan 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. 403-419 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

2017

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

Debugging unsatisfiable constraint models

Leo, K. & Tack, G., 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. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10335 ).

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

Scenario-based learning for stochastic combinatorial optimisation

Hemmi, D., Tack, G. & Wallace, M., 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. 277-292 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10335 ).

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

2016

Improved linearization of constraint programming models

Belov, G., Stuckey, P. J., Tack, G. & Wallace, M., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Switzerland: Springer, p. 49-65 17 p. (Lecture Notes in Computer Science; vol. 9892).

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

Learning from learning solvers

Shishmarev, M., Mears, C., Tack, G. & Garcia de la Banda, M., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Switzerland: Springer, p. 455-472 18 p. (Lecture Notes in Computer Science; vol. 9892 ).

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

2015

Minisearch: A solver-independent meta-search language for MiniZinc

Rendl, A., Guns, T., Stuckey, P. J. & Tack, G., 2015, 21st International Conference, CP 2015, Proceedings: Principles and Practice of Constraint Programming. Pesant, G. (ed.). Cham Switzerland: Springer, p. 376 - 392 17 p.

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

Multi-pass high-level presolving

Leo, K. & Tack, G., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015): Buenos Aires, Argentina, 25-31 July 2015. Yang, Q. (ed.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 346-352 7 p.

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

Open Access
File

Optimised robust treatment plans for prostate cancer focal brachytherapy

Betts, J. M., Mears, C. D., Reynolds, H., Tack, G., Leo, K., Ebert, M. A. & Haworth, A., 2015, 2015 International Conference on Computational Science (ICCS2015). Koziel, S., Leifsson, L., Lees, M., Krzhizhanovskaya, V. V., Dongarra, J. & Sloot, P. M. A. (eds.). Amsterdam Netherlands: Elsevier, p. 914 - 923 10 p.

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

2014

Modelling with option types in MiniZinc

Mears, C. D., Schutt, A., Stuckey, P. J., Tack, G., Marriott, K. G. & Wallace, M., 2014, Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 88 - 103 16 p.

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

Stochastic MiniZinc

Rendl, A., Tack, G. & Stuckey, P. J., 2014, Proceedings of 20th International Conference (CP 2014): Principles and Practice of Constraint Programming. O'Sullivan, B. (ed.). Cham Switzerland: Springer, p. 636 - 645 10 p.

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

2013

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

Globalizing constraint models

Leo, K., Mears, C. D., Tack, G. & Garcia De La Banda, M. J., 2013, Principles and Practice of Constraint Programming: 19th International Conference (CP2013), Proceedings. Schulte, C. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 432 - 447 16 p.

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

MiningZinc: A modeling language for constraint-based mining

Guns, T., Dries, A., Tack, G., Nijssen, S. & De Raedt, L., 2013, Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2014). Rossi, F. (ed.). Palo Alto CA USA: AAAI Press, p. 1365 - 1372 8 p.

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

MiniZinc with functions

Stuckey, P. J. & Tack, G., 2013, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, Proceedings. Gomes, C. & Sellmann, M. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 268 - 283 16 p.

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

The MiningZinc framework for constraint-based itemset mining

Guns, T., Dries, A., Tack, G., Nijssen, S. & De Raedt, L., 2013, Proceedings of the 2013 IEEE International Conference on Data Mining Workshops (ICDMW 2013): 7-10 December 2013, Dallas, Texas. Ding, W., Washio, T., Xiong, H., Karypis, G., Thuraisingham, B., Cook, D. & Wu, X. (eds.). Piscataway, NJ: Institute of Electrical and Electronic Engineers, p. 1081-1084 4 p. 6754042

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

2011

Memoizing a monadic mixin DSL

Wuille, P., Schrijvers, T., Samulowitz, H., Tack, G. & Stuckey, P. J., 2011, Proceedings of the 20th International Workshop on Functional and Constraint Logic Programming. Kuchen, H. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 68-85 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6816 LNCS).

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

Search combinators

Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H. & Stuckey, P. J., 2011, Proceedings of the 17th International Conference on the Principles and Practice of Constraint Programming. Lee, J. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 774-788 15 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

2009

Maintaining state in propagation solvers

Reischuk, R., Schulte, C., Stuckey, P. J. & Tack, G., 2009, Proceedings of the 15th International Conference on the Principles and Practice of Constraint Programming. Gent, I. P. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 692 - 706 15 p.

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

Weakly monotonic propagators

Schulte, C. & Tack, G., 2009, Proceedings of the 15th International Conference on the Prinicples and Practice of Constraint Programming. Gent, I. P. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 723 - 730 8 p.

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

2008

Perfect derived propagators

Schulte, C. & Tack, G., 2008, Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008). Stuckey, P. J. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 571 - 575 5 p.

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

2007

MiniZinc: Towards a standard CP modelling language

Nethercote, N., Stuckey, P. J., Becket, R., Brand, S., Duck, G. J. & Tack, G., 2007, Proceedings of the 13th International Conference on the Principles and Practice of Constraint Programming. Bessiere, C. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 529 - 543 15 p.

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

Status report: HOT pickles, and how to serve them

Rossberg, A., Tack, G. & Kornstaedt, L., 2007, Proceedings of the 2007 Workshop on ML. Russo, C. & Dreyer, D. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 25 - 36 12 p.

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

2006

Generating propagators for finite set constraints

Tack, G., Schulte, C. & Smolka, G., 2006, Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming. Benhamou, F. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 575 - 589 15 p.

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

2005

Compositional abstractions for search factories

Tack, G. & Le Botlan, D., 2005, Proceedings of the Second International Conference on Multiparadigm Programming in Mozart/Oz. Van Roy, P. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 211 - 223 13 p.

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

Views and iterators for generic constraint implementations

Schulte, C. & Tack, G., 2005, Proceedings of the 11th International Conference on the Principles and Practice of Constraint Programming. van Beek, P. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 817 - 821 5 p.

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