JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
FERNANDO
SÁENZ PÉREZ
Profesor titular de universidad
Publicaciones en las que colabora con FERNANDO SÁENZ PÉREZ (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)