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