Using SAT solving to optimize quantum circuit mapping
Using SAT solving to optimize quantum circuit mapping In experiments involving real quantum devices and algorithms, automated-reasoning-based method for mapping quantum computations onto quantum circuits is 26 times as fast as predecessors. Quantum technologies Jiong Yang February 28, 01:08 PM February 28, 04:20 PM 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 involving quantum gates, which are analogous to the […]