Bayesian Optimization with SAT Solver for Enhanced Database Security Identification. IJCAI. 2026;50(13). doi:10.31449/inf.v50i13.13296