M. Dalla, B. Provan-Bessell, A. Visentin, and B. O’Sullivan, “SAT Feature Analysis for Machine Learning Classification Tasks”, SOCS, vol. 16, no. 1, pp. 138–142, Jul. 2023.