Optimizing Binary Decision Diagrams with MaxSAT for Classification.

Hao Hu, Marie-Jos Huguet, Mohamed Siala

Browse the full AAAI paper archive.