Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms.

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

Browse the full ICML paper archive.