Publications on MiniZinc by Mark Wallace

• 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
• 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
• 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
• 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.
• Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, and Sebastian Brand. 2011.
  Dantzig-Wolfe decomposition and branch-and-price solving in G12.

  Abstract
  Constraints 16(1): 77—99.
• Christopher Mears, Todd Niven, Marcel Jackson, and Mark Wallace. 2011.
  Proving Symmetries by Model Transformation.

  Abstract
  Principles and Practice of Constraint Programming – CP 2011: 591—605. Springer Berlin Heidelberg.
  https://doi.org/10.1007/978-3-642-23786-7_45
• 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.
  https://doi.org/10.1007/978-3-642-04244-7_58
• Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, and Mark Wallace. 2008.
  The Design of the Zinc Modelling Language.

  Abstract
  Constraints 13(3): 229—267.