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