Mark Wallace

Mark Wallace

Monash University and Opturion
Industrial applications, language design, linear and hybrid solving approaches.

Publications on MiniZinc by Mark Wallace

  • Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace. Improved Linearization of Constraint Programming Models. 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. 49-65, 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.
  • 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.
  • J. Puchinger, P.J. Stuckey, M. Wallace, and S. Brand. Dantzig-wolfe decomposition and branch-and-price solving in G12. Constraints, 16(1):77–99, 2011.
  • Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace. Proving Symmetries by Model Transformation. Principles and Practice of Constraint Programming – CP 2011, Lecture Notes in Computer Science Volume 6876, pp 591-605, Springer, 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.
  • Kim Marriott, Nicholas Nethercote, R. Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, and Mark Wallace. The design of the Zinc modelling language. Constraints, 13(3):229–267, 2008.