FERNANDO
SÁENZ PÉREZ
Profesor titular de universidad
Publikationen, an denen er mitarbeitet 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)