ALICIA
MERAYO CORCOBA
Postdoctoral UCM
ALBERTO
RUBIO GIMENO
Catedrático de universidad
ALBERTO RUBIO GIMENO-rekin lankidetzan egindako argitalpenak (1)
2021
-
Lower-Bound Synthesis Using Loop Specialization and Max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)