https://9dok.net/document/zx56454d-andréschidlerandstefanszeider-sat-baseddecisiontreelearningforlargedatasets-technicalreportac-tr.html