Razgon, Igor, "The splitting power of branching programs of bounded repetition and CNFs of bounded width", Discrete Applied Mathematics, 2025