Solving Hard SAT Instances with Adiabatic Quantum Computers


Ramin Ayanzadeh1, Milton Halem2 and Tim Finin1, (1)University of Maryland Baltimore County, Baltimore, MD, United States, (2)University of Maryland Baltimore County, Computer Science, Baltimore, MD, United States