Andreas Schutt

Andreas Schutt

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

Publications on MiniZinc by Andreas Schutt

  • Ria Szeredi and Andreas Schutt. Modelling and Solving Multi-Mode Resource-Constrained Project Scheduling. In M. Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. LNCS 9892, pp. 483-492, Springer, 2016.
  • Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, and Mark Wallace. Modelling with option types in MiniZinc. In Proceedings of the 11th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming, number 8451 in LNCS, pages 88–103. Springer, 2014.
  • Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, and Julien Fischer. The MiniZinc challenge 2008-2013. AI Magazine, 35(2):55–60, 2014, 2014. more...
    MiniZinc is a solver agnostic modeling language for defining and solver combinatorial satisfaction and optimization problems. MiniZinc provides a solver independent modeling language which is now supported by constraint programming solvers, mixed integer programming solvers, SAT and SAT modulo theory solvers, and hybrid solvers. Since 2008 we have run the MiniZinc challenge every year, which compares and contrasts the different strengths of different solvers and solving technologies on a set of MiniZinc models. Here we report on what we have learnt from running the competition for 6 years.
  • Andreas Schutt, Thibaut Feydy, and Peter J. Stuckey. Explaining time-table-edge-finding propagation for the cumulative resource constraint. In Proceedings of the 10th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming, number 7874 in LNCS, pages 234–250, Springer, 2013.
  • Andreas Schutt, Thibaut Feydy, and Peter J. Stuckey. Scheduling optional tasks with explanation. In C. Schulte, editor, Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming, volume 8124 of LNCS, pages 628–644, Springer, 2013.
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, and Mark Wallace.. Solving RCPSP/max by lazy clause generation. Journal of Scheduling, 16(3):273–289, 2013.
  • A. Schutt, T. Feydy, P.J. Stuckey, and M. Wallace. Explaining the cumulative propagator. Constraints, 16(3):250–282, 2011.
  • A. Schutt, T. Feydy, P.J. Stuckey, and M. Wallace. Why cumultive decomposition is not as bad as it sounds. In I. Gent, editor, Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, volume 5732 of LNCS, pages 746–761, Springer-Verlag, 2009.