Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving.

Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre

Browse the full SAT paper archive.