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