Ting-Chi Wang

SMT-Based Layout Synthesis Approaches for Quantum Circuits

2024

The physical qubits in current quantum computers do not all interact with each other. Therefore, in executing a quantum algorithm on an actual quantum computer, layout synthesis is a crucial step that ensures that the …