Sahai, Tuhin, Anurag Mishra, Jose Miguel Pasini, and Susmit Jha. “Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 02 (April 3, 2020): 1627-1635. Accessed March 28, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/5524.