Defesa de Tese de Doutorado: Clustering under constraints: explainability via decision trees and separability with minimum size