ANTONIO
TENORIO FORNÉS
Researcher to 2021
RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
Publications by the researcher in collaboration with RAFAEL CABALLERO ROLDÁN (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