H. Zhang, “Bayesian Optimization with SAT Solver for Enhanced Database Security Identification”, IJCAI, vol. 50, no. 13, May 2026.