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