PUBLICACIÓN
Automatic Generation of Efficient Oracles: The Less-Than Case
ACCEDER A LA PUBLICACIÓN:
Sanchez-Rivero, J.; Talaván, D.; Garcia-Alonso, J.; Ruiz-Cortés, A.; Murillo, J.M.
2023 Ssrn
DOI
10.2139/ssrn.4594664
EID
2-s2.0-85173997833
ISSN
1556-5068
BIBTEX
@article{Garcia-Alonso2023,title = {Automatic Generation of Efficient Oracles: The Less-Than Case},journal = {Ssrn},year = {2023},author = {Sanchez-Rivero, J. and Talav{\'a}n, D. and Garcia-Alonso, J. and Ruiz-Cort{\'e}s, A. and Murillo, J.M.}}
AUTORES DE LA UEX
OTRAS PUBLICACIONES DE INTERÉS
