Sahai, T., Mishra, A., Pasini, J. M., & Jha, S. (2020). Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. Proceedings of the AAAI Conference on Artificial Intelligence, 34(02), 1627-1635. https://doi.org/10.1609/aaai.v34i02.5524