SAT-based Decision Tree Learning for Large Data Sets.

Andr Schidler, Stefan Szeider

Browse the full AAAI paper archive.