Zhang, H. Bayesian Optimization With SAT Solver for Enhanced Database Security Identification. IJCAI 2026, 50.