Symbolic Manipulation with Ordered Binary-Decision Diagrams. Bryant, R. E. ACM Computing Surveys, 24(3):293–318, 1992. bibtex @article{bryant:bdd92,
Author = {Randal E. Bryant},
Journal = {{ACM} Computing Surveys},
Number = {3},
Pages = {293--318},
Title = {Symbolic Manipulation with Ordered Binary-Decision Diagrams},
Volume = {24},
Year = {1992}}
Downloads: 0
{"_id":{"_str":"534279630e946d920a00163c"},"__v":1,"authorIDs":[],"author_short":["Bryant, R. E."],"bibbaseid":"bryant-symbolicmanipulationwithorderedbinarydecisiondiagrams-1992","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Randal","E."],"propositions":[],"lastnames":["Bryant"],"suffixes":[]}],"journal":"ACM Computing Surveys","number":"3","pages":"293–318","title":"Symbolic Manipulation with Ordered Binary-Decision Diagrams","volume":"24","year":"1992","bibtex":"@article{bryant:bdd92,\n\tAuthor = {Randal E. Bryant},\n\tJournal = {{ACM} Computing Surveys},\n\tNumber = {3},\n\tPages = {293--318},\n\tTitle = {Symbolic Manipulation with Ordered Binary-Decision Diagrams},\n\tVolume = {24},\n\tYear = {1992}}\n\n","author_short":["Bryant, R. E."],"key":"bryant:bdd92","id":"bryant:bdd92","bibbaseid":"bryant-symbolicmanipulationwithorderedbinarydecisiondiagrams-1992","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["symbolic","manipulation","ordered","binary","decision","diagrams","bryant"],"title":"Symbolic Manipulation with Ordered Binary-Decision Diagrams","year":1992,"dataSources":["2cjnbEWxd35GBeqEe"]}