ZHANG, Huijuan. Bayesian Optimization with SAT Solver for Enhanced Database Security Identification. Informatica, [S. l.], v. 50, n. 13, 2026. DOI: 10.31449/inf.v50i13.13296. Disponível em: https://www.informatica.si/index.php/informatica/article/view/13296. Acesso em: 19 may. 2026.