Blossom: an Anytime Algorithm for Computing Optimal Decision Trees. - Emir Demirovic; Emmanuel Hebrard; Louis Jean (ICML, 2023)