Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms | Read Paper on Bytez