DT-SLIM: SAT-based Decision Tree Learning for Large Data Sets