@phdthesis{oai:naist.repo.nii.ac.jp:00008771,
 author = {Tan, Renzo_Roel_Perez},
 month = {Sep},
 school = {奈良先端科学技術大学院大学},
 title = {On the Utility of the Zero-Suppressed Binary Decision Diagram},
 year = {2021}
}