Jiong Yang

Using SAT solving to optimize quantum circuit mapping

Quantum computing (QC) is a new computational paradigm that promises significant speedup over classical computing on some problems. Quantum computations are often represented as complex circuits...