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