Solving Hard SAT Instances with Adiabatic Quantum Computers
Ramin Ayanzadeh, Milton Halem, Tim Finin · Maryland Shared Open Access Repository (USMAI Consortium) · 2018
NASA Grant (#NNH16ZDA001N-AIST 16-0091) NIH-NIGMS Initiative for Maximizing Student Development Grant (2 R25-GM55036) Google Lime scholarship eBiquity Research Group D-Wave Systems for access to D-Wave 2000Q quantum computer (Burnaby, Canada) Center for Hybrid Multicore Productivity Research (CHMPR) access support to IBM Minsky cluster