Publications on MiniZinc by Maria Garcia de la Banda

• Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2016.
  Learning from Learning Solvers.

  Abstract
  Principles and Practice of Constraint Programming: 455—472. Springer International Publishing.
  https://doi.org/10.1007/978-3-319-44953-1_29
• Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2016.
  Visual search tree profiling.

  Abstract
  Constraints 21(1): 77—94.
• Kevin Leo, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. 2013.
  Globalizing Constraint Models.

  Abstract
  Principles and Practice of Constraint Programming: 432—447. Springer Berlin Heidelberg.
  https://doi.org/10.1007/978-3-642-40627-0_34
• Geoffrey Chu, Maria Garcia de la Banda, and Peter J. Stuckey. 2012.
  Exploiting subproblem dominance in constraint programming.

  Abstract
  Constraints 17(1): 1—38.
• Geoffrey Chu, Maria Garcia de la Banda, and Peter J. Stuckey. 2010.
  Automatically Exploiting Subproblem Equivalence in Constraint Programming.

  Abstract
  Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 71—86. Springer Berlin Heidelberg.
  https://doi.org/10.1007/978-3-642-13520-0_10
• 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.