Results for the 2024 MiniZinc Challenge have now been announced!
Andreas Schutt

Andreas Schutt

andreas.schutt@data61.csiro.au
Data61

Lazy clause generation solvers, scheduling and packing problems, running the MiniZinc Challenge.

Publications on MiniZinc by Andreas Schutt

  • Ria Szeredi, and Andreas Schutt. 2016.
    Modelling and Solving Multi-mode Resource-Constrained Project Scheduling.
    Abstract
    Principles and Practice of Constraint Programming: 483—492. Springer International Publishing.
  • 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.
  • 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.
  • Andreas Schutt, Thibaut Feydy, and Peter J. Stuckey. 2013.
    Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 234—250. Springer Berlin Heidelberg.
  • Andreas Schutt, Thibaut Feydy, and Peter J. Stuckey. 2013.
    Scheduling Optional Tasks with Explanation.
    Abstract
    Principles and Practice of Constraint Programming: 628—644. Springer Berlin Heidelberg.
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, and Mark G. Wallace. 2013.
    Solving RCPSP/max by lazy clause generation.
    Abstract
    Journal of Scheduling 16(3): 273—289.
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, and Mark G. Wallace. 2011.
    Explaining the cumulative propagator.
    Abstract
    Constraints 16(3): 250—282.
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, and Mark G. Wallace. 2009.
    Why Cumulative Decomposition Is Not as Bad as It Sounds.
    Abstract
    Principles and Practice of Constraint Programming - CP 2009: 746—761. Springer Berlin Heidelberg.