Dalla, M., Provan-Bessell, B., Visentin, A., & O’Sullivan, B. (2023). SAT Feature Analysis for Machine Learning Classification Tasks. Proceedings of the International Symposium on Combinatorial Search, 16(1), 138–142. https://doi.org/10.1609/socs.v16i1.27292