Pruning Random Forests for Prediction on a Budget
Integer and Combinatorial Optimization