Witty: An Efficient Solver for Computing Minimum-Size Decision Trees.

Luca Pascal Staus, Christian Komusiewicz, Frank Sommer, Manuel Sorge

Browse the full AAAI paper archive.