FERNANDO
SÁENZ PÉREZ
Profesor titular de universidad
JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
Publications dans lesquelles il/elle collabore avec JESÚS CORREAS FERNÁNDEZ (2)
2018
-
Enhancing set constraint solvers with bound consistency
Expert Systems with Applications, Vol. 92, pp. 485-494
2012
-
Extending the TOY system with the ECL iPS e solver over sets of integers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)