Guido Tack
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
11
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPAIOR | No-Opponent-Cycle Propagators for Solving Parity Games. | Gonzalo Hernandez, Julian Garcia, Julian Gutierrez, Guido Tack |
| 2025 | AAAI | Resource Constrained Pathfinding with Enhanced Bidirectional A* Search. | Saman Ahmadi, Andrea Raith, Guido Tack, Mahdi Jalili |
| 2025 | CP | Unit Types for MiniZinc. | Jip J. Dekker, Jason Nguyen, Peter J. Stuckey, Guido Tack |
| 2024 | CPAIOR | Single Constant Multiplication for SAT. | Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack |
| 2024 | SIGCSE | ALAN: Assessment-as-Learning Authentic Tasks for Networking. | Sepehr Minagar, Amin Sakzad, Guido Tack, Carsten Rudolph, Judithe Sheard |
| 2023 | CP | Addressing Problem Drift in UNHCR Fund Allocation. | Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack |
| 2022 | CP | Explaining Propagation for Gini and Spread with Variable Mean. | Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2022 | CPAIOR | Coupling Different Integer Encodings for SAT. | Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey |
| 2022 | CPAIOR | Enumerated Types and Type Extensions for MiniZinc. | Peter J. Stuckey, Guido Tack |
| 2022 | SoCS | Weight Constrained Path Finding with Bidirectional A. | Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
| 2021 | AAAI | A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem. | Saman Ahmadi, Guido Tack, Daniel Damir Harabor, Philip Kilby |
| 2021 | CP | Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles. | Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
| 2021 | ESA | Bi-Objective Search with Bi-Directional A. | Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
| 2021 | SoCS | Bi-Objective Search with Bi-directional A* (Extended Abstract). | Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
| 2020 | AAAI | Modelling and Solving Online Optimisation Problems. | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2020 | AAAI | Modelling Diversity of Solutions. | Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack |
| 2020 | CP | Solving Satisfaction Problems Using Large-Neighbourhood Search. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
| 2020 | CP | Aggregation and Garbage Collection for Online Optimization. | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2019 | CP | Compiling Conditional Constraints. | Peter J. Stuckey, Guido Tack |
| 2018 | AAAI | A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems. | David Hemmi, Guido Tack, Mark Wallace |
| 2018 | CP | Solver-Independent Large Neighbourhood Search. | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2018 | CP | Towards Semi-Automatic Learning-Based Model Transformation. | Kiana Zeighami, Kevin Leo, Guido Tack, Maria Garcia de la Banda |
| 2018 | ICTAI | Declarative Local-Search Neighbourhoods in MiniZinc. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
| 2017 | CP | A Novel Approach to String Constraint Solving. | Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
| 2017 | CPAIOR | Scenario-Based Learning for Stochastic Combinatorial Optimisation. | David Hemmi, Guido Tack, Mark Wallace |
| 2017 | CPAIOR | Debugging Unsatisfiable Constraint Models. | Kevin Leo, Guido Tack |
| 2016 | CP | Improved Linearization of Constraint Programming Models. | Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace |
| 2016 | CP | Learning from Learning Solvers. | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
| 2016 | LOPSTR | MiniZinc with Strings. | Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
| 2015 | CP | MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. | Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack |
| 2015 | ICCS | 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 |
| 2015 | IJCAI | Multi-Pass High-Level Presolving. | Kevin Leo, Guido Tack |
| 2014 | CP | Stochastic MiniZinc. | Andrea Rendl, Guido Tack, Peter J. Stuckey |
| 2014 | CP | View-Based Propagator Derivation - (Extended Abstract). | Christian Schulte, Guido Tack |
| 2014 | CPAIOR | Modelling with Option Types in MiniZinc. | Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace |
| 2013 | AAAI | Automated Design of Search with Composability. | Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack |
| 2013 | CP | Globalizing Constraint Models. | Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
| 2013 | CPAIOR | MiniZinc with Functions. | Peter J. Stuckey, Guido Tack |
| 2013 | ICDM | The MiningZinc Framework for Constraint-Based Itemset Mining. | Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt |
| 2013 | IJCAI | MiningZinc: A Modeling Language for Constraint-Based Mining. | Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt |
| 2012 | LOPSTR | An Introduction to Search Combinators. | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2011 | CP | Search Combinators. | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2009 | CP | Maintaining State in Propagation Solvers. | Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack |
| 2009 | CP | Weakly Monotonic Propagators. | Christian Schulte, Guido Tack |
| 2008 | CP | Perfect Derived Propagators. | Christian Schulte, Guido Tack |
| 2007 | CP | MiniZinc: Towards a Standard CP Modelling Language. | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
| 2006 | CP | Generating Propagators for Finite Set Constraints. | Guido Tack, Christian Schulte, Gert Smolka |
| 2005 | CP | Views and Iterators for Generic Constraint Implementations. | Christian Schulte, Guido Tack |