4 citations · 10 across the 10 of their papers we have counts for
3 papers · 1 filter
Formal Verification of Quantum Ancilla Safety
Jiqi Li, Jingyi Mei, Wang Fang +1
Ensuring ancilla safety is a critical correctness requirement for quantum compilation, since ancilla qubits are routinely introduced to implement complex operations with fewer gate…
Quokka#: Quantum Computing with #SAT
Jingyi Mei, Dekel Zak, Muhammad Osama +2
We present Quokka#, a versatile, open-source Python library for quantum circuit analysis. Quokka# reduces various simulation, verification, and synthesis tasks to weighted model co…
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen +4
Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation…