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