Effectively Encoding SAT and Other Intractable Problems into Ising Models for Quantum Computing

Stefano Varotti. Effectively Encoding SAT and Other Intractable Problems into Ising Models for Quantum Computing. PhD thesis, University of Trento, Italy, 2019. [doi]

Abstract

Abstract is missing.