Guardado en:
Detalles Bibliográficos
Autores principales: Böving, Henrik, Bhat, Siddharth, Keizer, Alex, Cicolini, Luisa, Frénot, Léon, Mohamed, Abdalrhman, Stefanesco, Léo, Khan, Harun, Clune, Joshua, Barrett, Clark, Grosser, Tobias
Formato: Recurso digital
Lenguaje:
Publicado: Zenodo 2025
Acceso en línea:https://doi.org/10.5281/zenodo.15766491
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Tabla de Contenidos:
  • <p>bv_decide solver submission for SMT-COMP 2025.</p>