Qubit Mapping and Routing via MaxSAT. - Abtin Molavi; Amanda Xu; Martin Diges; Lauren Pick; Swamit S. Tannu; Aws Albarghouthi (MICRO, 2022)