Text this: Tractable Continuous Approximations for Constraint Selection via Cardinality Minimization.