Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances. - Pol Rodríguez-Farrés; Rocco Ballester; Carlos Ansótegui; Jordi Levy; Jesús Cerquides (ICCS (6), 2024)