Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny and Mohsen Ahmadvand
Paper (2023)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 16130073 |
| PolyPublie URL: | https://publications.polymtl.ca/54757/ |
| Conference Title: | 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) |
| Conference Location: | Rome, Italy |
| Conference Date(s): | 2023-07-05 - 2023-07-06 |
| Publisher: | CEUR-WS |
| Official URL: | https://ceur-ws.org/Vol-3429/paper3.pdf |
| Date Deposited: | 28 Aug 2023 10:11 |
| Last Modified: | 25 Sep 2024 16:46 |
| Cite in APA 7: | Soureshjani, F. H., Hall-Andersen, M., Jahanara, M.M., Kam, J., Gorzny, J., & Ahmadvand, M. (2023, July). Automated Analysis of Halo2 Circuits [Paper]. 21st International Workshop on Satisfiability Modulo Theories (SMT 2023), Rome, Italy. https://ceur-ws.org/Vol-3429/paper3.pdf |
|---|---|
Statistics
Stats are not available on this system.
Repository Staff Only
|
View Item |
