Tight Space Lower Bound for Pseudo-Deterministic Approximate Counting | IEEE Conference Publication | IEEE Xplore