Yasuhiko Takenaga;Shuzo Yajima
-;-
The complexity of minimizing and learning OBDDs and FBDDs
Discrete Applied Mathematics