activity
20242026
most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing quant-phShow all

1 paper · 1 filter

quant-ph2026

SAT, MaxSAT, and SMT for QLDPC Distance Computation: A Large-Scale Empirical Study

Yu-Fang Chen, Seyed Mohammad Reza Jafari, Ching-Yi Lai

Exact distance computation for quantum LDPC (QLDPC) codes plays a central role in validating candidate fault-tolerant quantum-code constructions, yet the computational structure of…