“Bayesian Optimization with SAT Solver for Enhanced Database Security Identification” (2026) Informatica, 50(13). doi:10.31449/inf.v50i13.13296.