SAHAI, T.; MISHRA, A.; PASINI, J. M.; JHA, S. Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 34, n. 02, p. 1627-1635, 2020. DOI: 10.1609/aaai.v34i02.5524. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/5524. Acesso em: 18 apr. 2024.