Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report. - Zhengbing Bian; Fabián A. Chudak; William G. Macready; Aidan Roy; Roberto Sebastiani; Stefano Varotti (FroCoS, 2017)

Effectively Encoding SAT and Other Intractable Problems into Ising Models for Quantum Computing. - Stefano Varotti (2019)

Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. - Zhengbing Bian; Fabián A. Chudak; William G. Macready; Aidan Roy; Roberto Sebastiani; Stefano Varotti (Inf. Comput., 2020)