Use of SAT -S solution to optimize mapping of quantum circuit
Quantum Computing (QC) is a new calculation paradigm that promised significant speedup over classic computing on some problem. Quantum calculations are often representation as complex circuits that intact quantum “gates”, which are analogous to the logic ports in Convental Computers. However, the difficulty of building quantum computers means that the circuits available in the current … Read more