Hybrid SAT-Based Decision Trees. - Marco Perrotta; Guido Sciavicco; Simona Tenasini (IWINAC (2), 2026)