Return to Article Details SAT-based Decision Tree Learning for Large Data Sets Download Download PDF