RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
ANTONIO
TENORIO FORNÉS
Chercheur jusqu {1}
Publications dans lesquelles il/elle collabore avec ANTONIO TENORIO FORNÉS (2)
2015
-
Two type extensions for the constraint modeling language MiniZinc
Science of Computer Programming, Vol. 111, Núm. P1, pp. 156-189
2013
-
Finite type extensions in constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013