Sahai, T.; Mishra, A.; Pasini, J. M.; Jha, S. Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. AAAI 2020, 34, 1627-1635.