Zhang, Huijuan. “Bayesian Optimization With SAT Solver for Enhanced Database Security Identification”. Informatica, vol. 50, no. 13, May 2026, doi:10.31449/inf.v50i13.13296.