P
Initializing...
Correctness of Condat's Proposed Algorithm (Fig. 2): the output is $P_\Delta(y)$ and $K$ counts its nonzeros · Prove2Me