M

MaxSAT Decision Trees

Codes of learning optimal decision trees with MaxSAT and its integration in AdaBoost.