[1]
A. Schidler and S. Szeider, “SAT-based Decision Tree Learning for Large Data Sets”, AAAI, vol. 35, no. 5, pp. 3904-3912, May 2021.