Publications in collaboration with researchers from University of Melbourne (2)

2015

  1. Two type extensions for the constraint modeling language MiniZinc

    Science of Computer Programming, Vol. 111, Núm. P1, pp. 156-189

2013

  1. Finite type extensions in constraint programming

    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013