Zak, D., Mei, J., Lagniez, J., & Laarman, A. (2025). Reducing Quantum Circuit Synthesis to #SAT.
Chicago Style (17th ed.) CitationZak, Dekel, Jingyi Mei, Jean-Marie Lagniez, and Alfons Laarman. Reducing Quantum Circuit Synthesis to #SAT. 2025.
MLA (9th ed.) CitationZak, Dekel, et al. Reducing Quantum Circuit Synthesis to #SAT. 2025.
Warning: These citations may not always be 100% accurate.