@article{Clarke2018, author = "Edmund M Clarke and M. Fujita and X. Zhao", title = "{Application of Multi-Terminal Binary Decision Diagrams}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Application_of_Multi-Terminal_Binary_Decision_Diagrams/6603533", doi = "10.1184/R1/6603533.v1" }