Programmable Quantum Annealers as Noisy Gibbs Samplers. - Marc Vuffray; Carleton Coffrin; Yaroslav A. Kharkov; Andrey Y. Lokhov (CoRR, 2020)

Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. - Jiong Yang 002; Yaroslav A. Kharkov; Yunong Shi; Marijn J. H. Heule; Bruno Dutertre (SAT, 2024)