Yaroslav A. Kharkov

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 2

Top Topics

Quantum Computing

Markov Chain Monte Carlo

Top Venues

Publications

Jiong Yang, Yaroslav A. Kharkov, Yunong Shi, Marijn J. H. Heule, Bruno Dutertre
Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving. SAT (2024)
Marc Vuffray, Carleton Coffrin, Yaroslav A. Kharkov, Andrey Y. Lokhov
Programmable Quantum Annealers as Noisy Gibbs Samplers. CoRR (2020)