Inference by Minimizing Size, Divergence, or their Sum