Alessandro Tempia Calvino, Giovanni De Micheli. Algebraic and Boolean Methods for SFQ Superconducting Circuits. In Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024. pages 588-593, IEEE, 2024. [doi]
Abstract is missing.