Maria Garcia de la Banda

Maria Garcia de la Banda

Monash University
Model analysis and transformation, symmetry detection and breaking, constraint model debugging and profiling.

Publications on MiniZinc by Maria Garcia de la Banda

  • Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda. Learning from Learning Solvers. 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. 455-472, Springer, 2016.
  • Maxim Shishmarev, Christopher Mears, Guido Tack, and Maria Garcia de la Banda. Visual search tree profiling. In Constraints 21(1), pp. 77–94, 2016.
  • Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda. Globalizing Constraint Models. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings, pp. 432-447, Springer, 2013.
  • G. Chu, M. Garcia de la Banda, and P.J. Stuckey. Exploiting subproblem dominance in constraint programming. Constraints, 17(1):1–38, 2012.
  • G. Chu, M. Garcia de la Banda, and P.J. Stuckey. Automatically exploiting subproblem equivalence in constraint programming. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of LNCS, pages 71–86, Springer, 2010.
  • 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.