论文标题
量子电路的符号验证
Symbolic Verification of Quantum Circuits
论文作者
论文摘要
此简短说明提出了一种使用复杂，矢量或矩阵值的布尔表达式来表示和推理量子电路的符号方法。这种方法的主要好处是，它使我们能够直接借用有关量子电路推理的经典逻辑电路的现有技术和工具。
This short note proposes a symbolic approach for representing and reasoning about quantum circuits using complex, vector or matrix-valued Boolean expressions. A major benefit of this approach is that it allows us to directly borrow the existing techniques and tools for verification of classical logic circuits in reasoning about quantum circuits.
