Zhang, H. (2026). Bayesian Optimization with SAT Solver for Enhanced Database Security Identification. Informatica, 50(13). https://doi.org/10.31449/inf.v50i13.13296