Andreas Schutt
andreas.schutt@data61.csiro.auData61
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.AbstractPrinciples 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.AbstractAI 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.AbstractIntegration 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.AbstractIntegration 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.AbstractPrinciples 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.AbstractJournal of Scheduling 16(3): 273—289.
- Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, and Mark G. Wallace. 2011.Explaining the cumulative propagator.AbstractConstraints 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.AbstractPrinciples and Practice of Constraint Programming - CP 2009: 746—761. Springer Berlin Heidelberg.