Learning optimal decision trees and related ML models using SAT, MILP, and other mathematical optimization methods.

Some recent literature reviews:

https://link.springer.com/article/10.1007/s11750-021-00594-1

https://www.ijcai.org/proceedings/2021/608