Guido Tack

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 45

Top Topics

Neighbourhood Search

Combinatorial Optimisation

Constraint Solving

Top Venues

Publications

Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack
Single Constant Multiplication for SAT. CPAIOR (1) (2024)
Sepehr Minagar, Amin Sakzad, Guido Tack, Carsten Rudolph, Judithe Sheard
ALAN: Assessment-as-Learning Authentic Tasks for Networking. SIGCSE (1) (2024)
Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack
Addressing Problem Drift in UNHCR Fund Allocation. CP (2023)
Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
Enhanced Methods for the Weight Constrained Shortest Path Problem: Constrained Path Finding Meets Bi-objective Search. CoRR (2022)
Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
Weight Constrained Path Finding with Bidirectional A. SOCS (2022)
Peter J. Stuckey, Guido Tack
Enumerated Types and Type Extensions for MiniZinc. CPAIOR (2022)
Jie Liu, Kim Marriott, Tim Dwyer, Guido Tack
Increasing User Trust in Optimisation through Feedback and Interaction. ACM Trans. Comput. Hum. Interact. 29 (5) (2022)
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Globalizing constraint models. Artif. Intell. 302 (2022)
Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
Coupling Different Integer Encodings for SAT. CPAIOR (2022)
Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack
Explaining Propagation for Gini and Spread with Variable Mean. CP (2022)
Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero, Rui Yuan
Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy. CoRR (2022)
Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles. CP (2021)
Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack
The Added Value of Coordinating Inverter Control. IEEE Trans. Smart Grid 12 (2) (2021)
Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
Bi-Objective Search with Bi-Directional A. ESA (2021)
Seyedali Meghdadi, Guido Tack, Ariel Liebman, Nicolas Langrené, Christoph Bergmeir
Versatile and Robust Transient Stability Assessment via Instance Transfer Learning. CoRR (2021)
Jie Liu, Tim Dwyer, Guido Tack, Samuel Gratzl, Kim Marriott
Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems. IEEE Trans. Vis. Comput. Graph. 27 (2) (2021)
Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
Bi-Objective Search with Bi-directional A* (Extended Abstract). SOCS (2021)
Saman Ahmadi, Guido Tack, Daniel Damir Harabor, Philip Kilby
A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem. AAAI (2021)
Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby
Bi-objective Search with Bi-directional A. CoRR (2021)
Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack
Modelling Diversity of Solutions. AAAI (2020)
Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack
Interaction Between Coordinated and Droop Control PV Inverters. e-Energy (2020)
Peter Lusis, Lachlan L. H. Andrew, Ariel Liebman, Guido Tack
Interaction Between Coordinated and Droop Control PV Inverters. CoRR (2020)
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
Aggregation and Garbage Collection for Online Optimization. CP (2020)
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
Solving Satisfaction Problems Using Large-Neighbourhood Search. CP (2020)
Jie Liu, Tim Dwyer, Guido Tack, Samuel Gratzl, Kim Marriott
Supporting the Problem-Solving Loop: Designing Highly Interactive Optimisation Systems. CoRR (2020)
Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
Modelling and Solving Online Optimisation Problems. AAAI (2020)
Seyedali Meghdadi, Guido Tack, Ariel Liebman
Data-Driven Security Assessment of the Electric Power System. CoRR (2020)
Peter J. Stuckey, Guido Tack
Compiling Conditional Constraints. CP (2019)
David Hemmi, Guido Tack, Mark Wallace
A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems. AAAI (2018)
Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack
Solver-Independent Large Neighbourhood Search. CP (2018)
Tias Guns, Peter J. Stuckey, Guido Tack
Solution Dominance over Constraint Satisfaction Problems. CoRR (2018)
Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda
Towards Semi-Automatic Learning-Based Model Transformation. CP (2018)
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI (2018)
Andrea Passerini, Guido Tack, Tias Guns
Introduction to the special issue on Combining Constraint Solving with Mining and Learning. Artif. Intell. 244 (2017)
Guido Tack, Christopher Mears
PhD theses in constraints. Constraints An Int. J. 22 (1) (2017)
Tias Guns, Anton Dries, Siegfried Nijssen, Guido Tack, Luc De Raedt
MiningZinc: A declarative framework for constraint-based mining. Artif. Intell. 244 (2017)
David Hemmi, Guido Tack, Mark Wallace
Scenario-Based Learning for Stochastic Combinatorial Optimisation. CPAIOR (2017)
Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Trans. Vis. Comput. Graph. 23 (1) (2017)
Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack
A Novel Approach to String Constraint Solving. CP (2017)
Kevin Leo, Guido Tack
Debugging Unsatisfiable Constraint Models. CPAIOR (2017)
Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
MiniZinc with Strings. LOPSTR (2016)
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Visual search tree profiling. Constraints An Int. J. 21 (1) (2016)
Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace
Improved Linearization of Constraint Programming Models. CP (2016)
Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
MiniZinc with Strings. CoRR (2016)
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Learning from Learning Solvers. CP (2016)
Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. CP (2015)
Guido Tack, Christopher Mears
PhD theses in constraints 2012-2015. Constraints An Int. J. 20 (4) (2015)
John M. Betts, Christopher Mears, Hayley M. Reynolds, Guido Tack, Kevin Leo, Martin A. Ebert, Annette Haworth
Optimised Robust Treatment Plans for Prostate Cancer Focal Brachytherapy. ICCS (2015)
Kevin Leo, Guido Tack
Multi-Pass High-Level Presolving. IJCAI (2015)
Andrea Rendl, Guido Tack, Peter J. Stuckey
Stochastic MiniZinc. CP (2014)
Christian Schulte, Guido Tack
View-Based Propagator Derivation - (Extended Abstract). CP (2014)
Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace
Modelling with Option Types in MiniZinc. CPAIOR (2014)
Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer
The MiniZinc Challenge 2008-2013. AI Mag. 35 (2) (2014)
Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack
Automated Design of Search with Composability. AAAI (Late-Breaking Developments) (2013)
Christian Schulte, Guido Tack
View-based propagator derivation. Constraints An Int. J. 18 (1) (2013)
Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
The MiningZinc Framework for Constraint-Based Itemset Mining. ICDM Workshops (2013)
Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
MiningZinc: A Modeling Language for Constraint-Based Mining. IJCAI (2013)
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
Search combinators. Constraints An Int. J. 18 (2) (2013)
Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda
Globalizing Constraint Models. CP (2013)
Peter J. Stuckey, Guido Tack
MiniZinc with Functions. CPAIOR (2013)
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
Search Combinators CoRR (2012)
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
An Introduction to Search Combinators. LOPSTR (2012)
Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
Search Combinators. CP (2011)
Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey
Memoizing a Monadic Mixin DSL. WFLP (2011)
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
Maintaining State in Propagation Solvers. CP (2009)
Christian Schulte, Guido Tack
View-based Propagator Derivation CoRR (2009)
Christian Schulte, Guido Tack
Weakly Monotonic Propagators. CP (2009)
Christian Schulte, Guido Tack
Perfect Derived Propagators. CP (2008)
Christian Schulte, Guido Tack
Perfect Derived Propagators CoRR (2008)
Martin Mann, Guido Tack, Sebastian Will
Decomposition During Search for Propagation-Based Constraint Solvers CoRR (2007)
Andreas Rossberg, Guido Tack, Leif Kornstaedt
Status report: hot pickles, and how to serve them. ML (2007)
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
MiniZinc: Towards a Standard CP Modelling Language. CP (2007)
Guido Tack, Leif Kornstaedt, Gert Smolka
Generic Pickling and Minimization. Electron. Notes Theor. Comput. Sci. 148 (2) (2006)
Guido Tack, Christian Schulte, Gert Smolka
Generating Propagators for Finite Set Constraints. CP (2006)
Christian Schulte, Guido Tack
Views and Iterators for Generic Constraint Implementations. CP (2005)
Christian Schulte, Guido Tack
Views and Iterators for Generic Constraint Implementations. CSCLP (2005)
Guido Tack, Didier Le Botlan
Compositional Abstractions for Search Factories. MOZ (2004)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Alice through the looking glass. Trends in Functional Programming (2004)