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

Research Output 2005 2019

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 PaperResearch

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

Introduction to the special issue on Combining Constraint Solving with Mining and Learning

Passerini, A., Tack, G. & Guns, T., 1 Mar 2017, In : Artificial Intelligence. 244, p. 1-5 5 p.

Research output: Contribution to journalEditorialOtherpeer-review

MiningZinc: a declarative framework for constraint-based mining

Guns, T., Dries, A., Nijssen, S., Tack, G. & De Raedt, L., Mar 2017, In : Artificial Intelligence. 244, p. 6-29 24 p.

Research output: Contribution to journalArticleResearchpeer-review

MiniZinc with strings

Amadini, R., Flener, P., Pearson, J., Scott, J. D., Stuckey, P. J. & Tack, G., 2017, Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016,Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham, Switzerland: Springer, p. 59-75 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

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

PhD theses in constraints

Tack, G. & Mears, C., 1 Jan 2017, In : Constraints. 22, 1, p. 90 1 p.

Research output: Contribution to journalEditorialOtherpeer-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

A radiobiology-based inverse treatment planning method for optimisation of permanent l-125 prostate implants in focal brachytherapy

Haworth, A., Mears, C., Betts, J. M., Reynolds, H. M., Tack, G., Leo, K., Williams, S. G. & Ebert, M. A., 2016, In : Physics in Medicine and Biology. 61, 1, p. 430 - 444 15 p.

Research output: Contribution to journalArticleResearchpeer-review

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

Visual search tree profiling

Shishmarev, M., Mears, C., Tack, G. & Garcia De La Banda, M., 2016, In : Constraints. 21, 1, p. 77-94 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
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

PhD theses in constraints 2012-2015

Tack, G. & Mears, C. D., 2015, New York NY USA: Springer. 43 p.

Research output: Book/ReportEdited BookOther

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

The MiniZinc challenge 2008-2013

Stuckey, P. J., Feydy, T., Schutt, A., Tack, G. & Fischer, J., 2014, In : AI Magazine. 35, 2, p. 55 - 60 6 p.

Research output: Contribution to journalArticleOtherpeer-review

View-based propagator derivation (extended abstract)

Schulte, C., O'Sullivan, B. (ed.) & Tack, G., 2014, p. 938 - 942. 5 p.

Research output: Contribution to conferenceAbstractOther

2013

An introduction to search combinators

Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H. & Stuckey, P. J., 2013, Logic-Based Program Synthesis and Transformation. Albert, E. (ed.). Berlin Germany: Springer, p. 2 - 16 15 p.

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

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

Search combinators

Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H. & Stuckey, P. J., 2013, In : Constraints. 18, 2, p. 269-305 37 p.

Research output: Contribution to journalArticleResearchpeer-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

View-based propagator derivation

Schulte, C. & Tack, G., 2013, In : Constraints. 18, 1, p. 75 - 107 33 p.

Research output: Contribution to journalArticleResearchpeer-review

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

2010

Implementing efficient propagation control

Schulte, C., Jefferson, C. (ed.), Tack, G. & Nightingale, P. (ed.), 2010, p. 53 - 67. 15 p.

Research output: Contribution to conferenceOtherOther

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

Generic pickling and minimization

Tack, G., Kornstaedt, L. & Smolka, G., 24 Mar 2006, In : Electronic Notes in Theoretical Computer Science. 148, 2, p. 79-103 25 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Views and iterators for generic constraint implementations

Schulte, C. & Tack, G., 2006, Recent Advances in Constraints. Hnich, B., Carlsson, M., Fages, F. & Rossi, F. (eds.). Berlin Germany: Springer, p. 118 - 132 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-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