Exact discrete minimization for TV+L0 image decomposition models | IEEE Conference Publication | IEEE Xplore