Hybrid Benders Decomposition Algorithms in Constraint Logic Programming