Dalla, Marco, et al. “SAT Feature Analysis for Machine Learning Classification Tasks”. Proceedings of the International Symposium on Combinatorial Search, vol. 16, no. 1, July 2023, pp. 138-42, doi:10.1609/socs.v16i1.27292.