Sebastiaan Brand, Alfons Laarman. Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing. In Meenakshi D'Souza, Raghavan Komondoor, B. Srivathsan, editors, Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings. Volume 16145 of Lecture Notes in Computer Science, pages 260-273, Springer, 2025. [doi]
Abstract is missing.