Problem submissions for the 2024 MiniZinc Challenge are currently open! See the call for problems for more information.
Guido Tack

Guido Tack

guido.tack@monash.edu
Monash University

Design and implementation of MiniZinc, model analysis and transformation, generating efficient FlatZinc for a diverse range of solvers, making MiniZinc easy to use.

Publications on MiniZinc by Guido Tack

  • Peter J. Stuckey, and Guido Tack. 2019.
    Compiling Conditional Constraints.
    Abstract
    Principles and Practice of Constraint Programming: 384—400. Springer International Publishing.
    https://doi.org/10.1007/978-3-030-30048-7_23
  • David Hemmi, Guido Tack, and Mark Wallace. 2018.
    A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems.
    Abstract
    Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence AAAI Press.
  • David Hemmi, Guido Tack, and Mark Wallace. 2017.
    Scenario-Based Learning for Stochastic Combinatorial Optimisation.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming: 277—292. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-59776-8_23
  • Kevin Leo, and Guido Tack. 2017.
    Debugging Unsatisfiable Constraint Models.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming: 77—93. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-59776-8_7
  • Tias Guns, Anton Dries, Siegfried Nijssen, Guido Tack, and Luc De Raedt. 2017.
    MiningZinc: A declarative framework for constraint-based mining.
    Abstract
    Combining Constraint Solving with Mining and Learning, Artificial Intelligence 244: 6—29.
  • Gleb Belov, Peter J. Stuckey, Guido Tack, and Mark Wallace. 2016.
    Improved Linearization of Constraint Programming Models.
    Abstract
    Principles and Practice of Constraint Programming: 49—65. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-44953-1_4
  • Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2016.
    Learning from Learning Solvers.
    Abstract
    Principles and Practice of Constraint Programming: 455—472. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-44953-1_29
  • Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2016.
    Visual search tree profiling.
    Abstract
    Constraints 21(1): 77—94.
  • Andrea Rendl, Tias Guns, Peter J. Stuckey, and Guido Tack. 2015.
    MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.
    Abstract
    Principles and Practice of Constraint Programming: 376—392. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-23219-5_27
  • Kevin Leo, and Guido Tack. 2015.
    Multi-pass high-level presolving.
    Abstract
    International Joint Conference on Artificial Intelligence 2015: 346—352. Association for the Advancement of Artificial Intelligence (AAAI).
  • Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, and Julien Fischer. 2014.
    The MiniZinc Challenge 2008–2013.
    Abstract
    AI Magazine 35(2): 55-60.
    https://doi.org/10.1609/aimag.v35i2.2539
  • Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, and Mark Wallace. 2014.
    Modelling with Option Types in MiniZinc.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming: 88—103. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-07046-9_7
  • Andrea Rendl, Guido Tack, and Peter J. Stuckey. 2014.
    Stochastic MiniZinc.
    Abstract
    Principles and Practice of Constraint Programming: 636—645. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-10428-7_46
  • Peter J. Stuckey, and Guido Tack. 2013.
    MiniZinc with Functions.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 268—283. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-38171-3_18
  • Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, and Peter J. Stuckey. 2013.
    Search combinators.
    Abstract
    Constraints 18(2): 269—305.
  • Kevin Leo, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2013.
    Globalizing Constraint Models.
    Abstract
    Principles and Practice of Constraint Programming: 432—447. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-40627-0_34
  • Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, and Luc De Raedt. 2013.
    MiningZinc: A modeling language for constraint-based mining.
    Abstract
    IJCAI International Joint Conference on Artificial Intelligence: 1365—1372.
  • Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, and Peter J. Stuckey. 2011.
    Search Combinators.
    Abstract
    Principles and Practice of Constraint Programming – CP 2011: 774—788. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-23786-7_58
  • Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, and Guido Tack. 2007.
    MiniZinc: Towards a Standard CP Modelling Language.
    Abstract
    Principles and Practice of Constraint Programming – CP 2007: 529—543. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-540-74970-7_38