Smith, G. H., Knizek, C., Petrisko, D., Tatlock, Z., Balkind, J., Bernstein, G. L., . . . Nandi, C. (2024). Scaling Program Synthesis Based Technology Mapping with Equality Saturation.
Chicago-Zitierstil (17. Ausg.)Smith, Gus Henry, Colin Knizek, Daniel Petrisko, Zachary Tatlock, Jonathan Balkind, Gilbert Louis Bernstein, Haobin Ni, und Chandrakana Nandi. Scaling Program Synthesis Based Technology Mapping with Equality Saturation. 2024.
MLA-Zitierstil (9. Ausg.)Smith, Gus Henry, et al. Scaling Program Synthesis Based Technology Mapping with Equality Saturation. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.