TY - RPRT TI - Constructive Proofs of Generalized Boole--Frechet Bounds: A Dynamic Programming Approach AU - Kizito Salako PY - 2025 UR - https://arxiv.org/abs/2512.09161 ID - 2512.09161 ER -