Hybrid SAT-Based Decision Trees.

Marco Perrotta, Guido Sciavicco, Simona Tenasini

Browse the full IWINAC paper archive.