On Regularization and Inference with Label Constraints