Journal of Southeast University (English Edition)
过刊查询页面
关键词中包括
binary+decision+diagram(BDD)
的文章