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