RAFAEL
CABALLERO ROLDÁN
Profesor titular de universidad
University of Melbourne
Melbourne, AustraliaUniversity of Melbourne-ko ikertzaileekin lankidetzan egindako argitalpenak (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