SAT-Based Quantum Circuit AdaptationSebastian BrandhoferJinwoong Kimet al.2023DATE 2023Conference paper