16 citations · 16 across the 3 of their papers we have counts for
3 papers
quant-ph2026
Error-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis
Chien-Kai Ma, Bo-Hung Chen, Tian-Fu Chen +2
We develop error-tolerant quantum state discrimination(QSD) strategies that maintain reliable performance under moderate noise. Two complementary approaches are proposed: CrossQSD,…
quant-ph2024
Boolean Matching Reversible Circuits: Algorithm and Complexity
Tian-Fu Chen, Jie-Hong R. Jiang
Boolean matching is an important problem in logic synthesis and verification. Despite being well-studied for conventional Boolean circuits, its treatment for reversible logic circu…
quant-ph2022★ 16 cited
Partial Equivalence Checking of Quantum Circuits
Tian-Fu Chen, Jie-Hong R. Jiang, Min-Hsiu Hsieh
Equivalence checking of quantum circuits is an essential element in quantum program compilation, in which a quantum program can be synthesized into different quantum circuits that…