Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances | Publicación