“Bayesian Optimization with SAT Solver for Enhanced Database Security Identification”, IJCAI, vol. 50, no. 13, May 2026, doi: 10.31449/inf.v50i13.13296.