Publications dans lesquelles il/elle collabore avec RAFAEL CABALLERO ROLDÁN (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