SAT, gadgets, Max2XOR, and quantum annealers | Publicación