Computer aided proofs for rate regions of independent distributed source coding problems | IEEE Conference Publication | IEEE Xplore