Zhang, Huijuan. “Bayesian Optimization With SAT Solver for Enhanced Database Security Identification”. Informatica 50, no. 13 (May 18, 2026). Accessed May 19, 2026. https://www.informatica.si/index.php/informatica/article/view/13296.