On the complexity of optimal tree pruning for source coding | IEEE Conference Publication | IEEE Xplore