695 citations · 2.6k across the 40 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
quant-ph2009
High-performance Energy Minimization with Applications to Adiabatic Quantum Computing
Hector J. Garcia, Igor L. Markov
Energy minimization of Ising spin-glasses has played a central role in statistical and solid-state physics, facilitating studies of phase transitions and magnetism. Recent proposal…
quant-ph2009★ 6 cited
Fast Equivalence-checking for Quantum Circuits
Shigeru Yamashita, Igor L. Markov
We perform formal verification of quantum circuits by integrating several techniques specialized to particular classes of circuits. Our verification methodology is based on the new…