Zhang H. Bayesian Optimization with SAT Solver for Enhanced Database Security Identification. Informatica [Internet]. 2026 May 18 [cited 2026 Aug. 14];50(13). Available from: https://www.informatica.si/index.php/informatica/article/view/13296