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