RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
ÁMBAR
TENORIO FORNÉS
Investigador hasta 2021
Publicaciones en las que colabora con ÁMBAR 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