Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
Communication écrite (2023)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
16130073
Adresse URL de PolyPublie:
Nom de la conférence:
21st International Workshop on Satisfiability Modulo Theories (SMT 2023)
Lieu de la conférence:
Rome, Italy
Date(s) de la conférence:
2023-07-05 - 2023-07-06
Maison d'édition:
CEUR-WS
URL officielle:
OAI:
oai:publications.polymtl.ca:54757
ORCID
Date du dépôt:
28 août 2023 10:11
Dernière modification:
14 oct. 2026 14:13
Citer en APA 7:
Soureshjani, F. H., Hall-Andersen, M., Jahanara, M.M., Kam, J., Gorzny, J., & Ahmadvand, M. (juillet 2023). Automated Analysis of Halo2 Circuits [Communication écrite]. 21st International Workshop on Satisfiability Modulo Theories (SMT 2023), Rome, Italy. https://ceur-ws.org/Vol-3429/paper3.pdf
Statistiques
Aucune statistique n'est disponible.
