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