FAN, Y.-W.; JIANG, J.-H. R. SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 37, n. 4, p. 3949-3958, 2023. DOI: 10.1609/aaai.v37i4.25509. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/25509. Acesso em: 16 aug. 2024.