Rate-constrained successive elimination of Hadamard-based SATDs | IEEE Conference Publication | IEEE Xplore