Compositional Abstractions for Search Factories. - Guido Tack; Didier Le Botlan (MOZ, 2004)

Alice through the looking glass. - Andreas Rossberg; Didier Le Botlan; Guido Tack; Thorsten Brunklaus; Gert Smolka (Trends in Functional Programming, 2004)

Views and Iterators for Generic Constraint Implementations. - Christian Schulte 001; Guido Tack (CSCLP, 2005)

Generic Pickling and Minimization. - Guido Tack; Leif Kornstaedt; Gert Smolka (ML, 2005)

Generating Propagators for Finite Set Constraints. - Guido Tack; Christian Schulte 001; Gert Smolka (CP, 2006)

MiniZinc: Towards a Standard CP Modelling Language. - Nicholas Nethercote; Peter J. Stuckey; Ralph Becket; Sebastian Brand; Gregory J. Duck; Guido Tack (CP, 2007)

Status report: hot pickles, and how to serve them. - Andreas Rossberg; Guido Tack; Leif Kornstaedt (ML, 2007)

Decomposition During Search for Propagation-Based Constraint Solvers - Martin Mann; Guido Tack; Sebastian Will (CoRR, 2007)

Perfect Derived Propagators. - Christian Schulte 001; Guido Tack (CP, 2008)

Maintaining State in Propagation Solvers. - Raphael M. Reischuk; Christian Schulte 001; Peter J. Stuckey; Guido Tack (CP, 2009)

Weakly Monotonic Propagators. - Christian Schulte 001; Guido Tack (CP, 2009)

Constraint propagation: models, techniques, implementation. - Guido Tack (2009)

Memoizing a Monadic Mixin DSL. - Pieter Wuille; Tom Schrijvers; Horst Samulowitz; Guido Tack; Peter J. Stuckey (WFLP, 2011)

An Introduction to Search Combinators. - Tom Schrijvers; Guido Tack; Pieter Wuille; Horst Samulowitz; Peter J. Stuckey (LOPSTR, 2012)

Automated Design of Search with Composability. - Ashish Sabharwal; Horst Samulowitz; Tom Schrijvers; Peter J. Stuckey; Guido Tack (AAAI (Late-Breaking Developments), 2013)

MiniZinc with Functions. - Peter J. Stuckey; Guido Tack (CPAIOR, 2013)

The MiningZinc Framework for Constraint-Based Itemset Mining. - Tias Guns; Anton Dries; Guido Tack; Siegfried Nijssen; Luc De Raedt (ICDM Workshops, 2013)

MiningZinc: A Modeling Language for Constraint-Based Mining. - Tias Guns; Anton Dries; Guido Tack; Siegfried Nijssen; Luc De Raedt (IJCAI, 2013)

Search combinators. - Tom Schrijvers; Guido Tack; Pieter Wuille; Horst Samulowitz; Peter J. Stuckey (Constraints An Int. J., 2013)

View-based propagator derivation. - Christian Schulte 001; Guido Tack (Constraints An Int. J., 2013)

Stochastic MiniZinc. - Andrea Rendl; Guido Tack; Peter J. Stuckey (CP, 2014)

View-Based Propagator Derivation - (Extended Abstract). - Christian Schulte 001; Guido Tack (CP, 2014)

Modelling with Option Types in MiniZinc. - Christopher Mears; Andreas Schutt; Peter J. Stuckey; Guido Tack; Kim Marriott; Mark Wallace 001 (CPAIOR, 2014)

The MiniZinc Challenge 2008-2013. - Peter J. Stuckey; Thibaut Feydy; Andreas Schutt; Guido Tack; Julien Fischer (AI Mag., 2014)

MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. - Andrea Rendl; Tias Guns; Peter J. Stuckey; Guido Tack (CP, 2015)

Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. - John M. Betts; Christopher Mears; Hayley M. Reynolds; Guido Tack; Kevin Leo; Martin A. Ebert; Annette Haworth (ICCS, 2015)

Multi-Pass High-Level Presolving. - Kevin Leo; Guido Tack (IJCAI, 2015)

PhD theses in constraints 2012-2015. - Guido Tack; Christopher Mears (Constraints An Int. J., 2015)

Improved Linearization of Constraint Programming Models. - Gleb Belov; Peter J. Stuckey; Guido Tack; Mark Wallace 001 (CP, 2016)

Learning from Learning Solvers. - Maxim Shishmarev; Christopher Mears; Guido Tack; Maria Garcia de la Banda (CP, 2016)

MiniZinc with Strings. - Roberto Amadini; Pierre Flener; Justin Pearson; Joseph D. Scott; Peter J. Stuckey; Guido Tack (LOPSTR, 2016)

Visual search tree profiling. - Maxim Shishmarev; Christopher Mears; Guido Tack; Maria Garcia de la Banda (Constraints An Int. J., 2016)

A Novel Approach to String Constraint Solving. - Roberto Amadini; Graeme Gange; Peter J. Stuckey; Guido Tack (CP, 2017)

Scenario-Based Learning for Stochastic Combinatorial Optimisation. - David Hemmi; Guido Tack; Mark Wallace 001 (CPAIOR, 2017)

Debugging Unsatisfiable Constraint Models. - Kevin Leo; Guido Tack (CPAIOR, 2017)

MiningZinc: A declarative framework for constraint-based mining. - Tias Guns; Anton Dries; Siegfried Nijssen; Guido Tack; Luc De Raedt (Artif. Intell., 2017)

Introduction to the special issue on Combining Constraint Solving with Mining and Learning. - Andrea Passerini; Guido Tack; Tias Guns (Artif. Intell., 2017)

PhD theses in constraints. - Guido Tack; Christopher Mears (Constraints An Int. J., 2017)

What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. - Sarah Goodwin; Christopher Mears; Tim Dwyer; Maria Garcia de la Banda; Guido Tack; Mark Wallace 001 (IEEE Trans. Vis. Comput. Graph., 2017)

A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems. - David Hemmi; Guido Tack; Mark Wallace 001 (AAAI, 2018)

Solver-Independent Large Neighbourhood Search. - Jip J. Dekker; Maria Garcia de la Banda; Andreas Schutt; Peter J. Stuckey; Guido Tack (CP, 2018)

Towards Semi-Automatic Learning-Based Model Transformation. - Kiana Zeighami; Kevin Leo; Guido Tack; Maria Garcia de la Banda (CP, 2018)

Declarative Local-Search Neighbourhoods in MiniZinc. - Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey; Guido Tack (ICTAI, 2018)

Solution Dominance over Constraint Satisfaction Problems. - Tias Guns; Peter J. Stuckey; Guido Tack (CoRR, 2018)

Compiling Conditional Constraints. - Peter J. Stuckey; Guido Tack (CP, 2019)

Modelling and Solving Online Optimisation Problems. - Alexander Ek; Maria Garcia de la Banda; Andreas Schutt; Peter J. Stuckey; Guido Tack (AAAI, 2020)

Modelling Diversity of Solutions. - Linnea Ingmar; Maria Garcia de la Banda; Peter J. Stuckey; Guido Tack (AAAI, 2020)

Solving Satisfaction Problems Using Large-Neighbourhood Search. - Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey; Guido Tack (CP, 2020)

Aggregation and Garbage Collection for Online Optimization. - Alexander Ek; Maria Garcia de la Banda; Andreas Schutt; Peter J. Stuckey; Guido Tack (CP, 2020)

Interaction Between Coordinated and Droop Control PV Inverters. - Peter Lusis; Lachlan L. H. Andrew; Ariel Liebman; Guido Tack (e-Energy, 2020)

Data-Driven Security Assessment of the Electric Power System. - Seyedali Meghdadi; Guido Tack; Ariel Liebman (CoRR, 2020)

A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem. - Saman Ahmadi; Guido Tack; Daniel Damir Harabor; Philip Kilby (AAAI, 2021)

Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles. - Saman Ahmadi; Guido Tack; Daniel Harabor; Philip Kilby (CP, 2021)

Bi-Objective Search with Bi-Directional A. - Saman Ahmadi; Guido Tack; Daniel Harabor; Philip Kilby (ESA, 2021)

Bi-Objective Search with Bi-directional A* (Extended Abstract). - Saman Ahmadi; Guido Tack; Daniel Harabor; Philip Kilby (SOCS, 2021)

Versatile and Robust Transient Stability Assessment via Instance Transfer Learning. - Seyedali Meghdadi; Guido Tack; Ariel Liebman; Nicolas Langrené; Christoph Bergmeir (CoRR, 2021)

The Added Value of Coordinating Inverter Control. - Peter Lusis; Lachlan L. H. Andrew; Ariel Liebman; Guido Tack (IEEE Trans. Smart Grid, 2021)

Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems. - Jie Liu 046; Tim Dwyer; Guido Tack; Samuel Gratzl; Kim Marriott (IEEE Trans. Vis. Comput. Graph., 2021)

Explaining Propagation for Gini and Spread with Variable Mean. - Alexander Ek; Andreas Schutt; Peter J. Stuckey; Guido Tack (CP, 2022)

Coupling Different Integer Encodings for SAT. - Hendrik Bierlee; Graeme Gange; Guido Tack; Jip J. Dekker; Peter J. Stuckey (CPAIOR, 2022)

Enumerated Types and Type Extensions for MiniZinc. - Peter J. Stuckey; Guido Tack (CPAIOR, 2022)

Weight Constrained Path Finding with Bidirectional A. - Saman Ahmadi; Guido Tack; Daniel Harabor; Philip Kilby (SOCS, 2022)

Globalizing constraint models. - Kevin Leo; Christopher Mears; Guido Tack; Maria Garcia de la Banda (Artif. Intell., 2022)

Enhanced Methods for the Weight Constrained Shortest Path Problem: Constrained Path Finding Meets Bi-objective Search. - Saman Ahmadi; Guido Tack; Daniel Harabor; Philip Kilby (CoRR, 2022)

Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy. - Christoph Bergmeir; Frits de Nijs; Abishek Sriramulu; Mahdi Abolghasemi; Richard Bean 001; John M. Betts; Quang Bui; Nam Trong Dinh; Nils Einecke; Rasul Esmaeilbeigi; Scott Ferraro; Priya Galketiya; et al. (CoRR, 2022)

Increasing User Trust in Optimisation through Feedback and Interaction. - Jie Liu 046; Kim Marriott; Tim Dwyer; Guido Tack (ACM Trans. Comput. Hum. Interact., 2022)

MiniZinc. - Guido Tack; Jip J. Dekker; Gleb Belov; Kevin Leo; Jason Nguyen; Peter J. Stuckey (Zenodo, 2022)

Addressing Problem Drift in UNHCR Fund Allocation. - Sameela Suharshani Wijesundara; Maria Garcia de la Banda; Guido Tack (CP, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2023)

Single Constant Multiplication for SAT. - Hendrik Bierlee; Jip J. Dekker; Vitaly Lagoon; Peter J. Stuckey; Guido Tack (CPAIOR (1), 2024)

ALAN: Assessment-as-Learning Authentic Tasks for Networking. - Sepehr Minagar; Amin Sakzad; Guido Tack; Carsten Rudolph; Judithe Sheard (SIGCSE (1), 2024)

Real-Time Energy-Optimal Path Planning for Electric Vehicles. - Saman Ahmadi; Guido Tack; Daniel Harabor; Philip Kilby; Mahdi Jalili (CoRR, 2024)

Enhanced methods for the weight constrained shortest path problem. - Saman Ahmadi; Guido Tack; Daniel Harabor; Philip Kilby; Mahdi Jalili (Networks, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2024)

Resource Constrained Pathfinding with Enhanced Bidirectional A* Search. - Saman Ahmadi; Andrea Raith; Guido Tack; Mahdi Jalili (AAAI, 2025)

Unit Types for MiniZinc. - Jip J. Dekker; Jason Nguyen; Peter J. Stuckey; Guido Tack (CP, 2025)

Predict+Optimize Problem in Renewable Energy Scheduling. - Christoph Bergmeir; Frits de Nijs; Evgenii Genov; Abishek Sriramulu; Mahdi Abolghasemi; Richard Bean 001; John M. Betts; Quang Bui; Nam Trong Dinh; Nils Einecke; Rasul Esmaeilbeigi; Scott Ferraro; et al. (IEEE Access, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)

MiniZinc. - Guido Tack; Jip J. Dekker; Kevin Leo; Gleb Belov; Jason Nguyen; Maria Garcia de la Banda; Peter J. Stuckey (Zenodo, 2025)