Superset Generation on Decision Diagrams

T. Toda, S. Takeuchi, Koji Tsuda, S. Minato
February 2015
DOI
タイプ
Journal article
収録
9th International Workshop on Algorithms and Computation (WALCOM 2015), pp. 317-322