Improving CP-based Local Branching via Sliced Neighborhood Search Everyone AI Group UNIBO Tree and local search