T. Sahai, A. Mishra, J. M. Pasini, and S. Jha, “Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms”, AAAI, vol. 34, no. 02, pp. 1627-1635, Apr. 2020.