SAT-Based Learning of Compact Binary Decision Diagrams for Classification.

Pouya Shati, Eldan Cohen, Sheila A. McIlraith

Browse the full CP paper archive.