@inproceedings{DBLP:conf/dac/RaviMSS98,
  author    = {Kavita Ravi and
               Kenneth L. McMillan and
               Thomas R. Shiple and
               Fabio Somenzi},
  title     = {Approximation and Decomposition of Binary Decision Diagrams},
  booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
               San Francico, California, USA, June 15-19, 1998.},
  pages     = {445--450},
  year      = {1998},
  crossref  = {DBLP:conf/dac/1998},
  url       = {http://doi.acm.org/10.1145/277044.277168},
  doi       = {10.1145/277044.277168},
  timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/RaviMSS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"dhhcaDQTqRf9nWie5","bibbaseid":"ravi-mcmillan-shiple-somenzi-approximationanddecompositionofbinarydecisiondiagrams-1998","downloads":0,"creationDate":"2018-07-08T21:22:38.754Z","title":"Approximation and Decomposition of Binary Decision Diagrams","author_short":["Ravi, K.","McMillan, K. L.","Shiple, T. R.","Somenzi, F."],"year":1998,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Kavita"],"propositions":[],"lastnames":["Ravi"],"suffixes":[]},{"firstnames":["Kenneth","L."],"propositions":[],"lastnames":["McMillan"],"suffixes":[]},{"firstnames":["Thomas","R."],"propositions":[],"lastnames":["Shiple"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Somenzi"],"suffixes":[]}],"title":"Approximation and Decomposition of Binary Decision Diagrams","booktitle":"Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998.","pages":"445–450","year":"1998","crossref":"DBLP:conf/dac/1998","url":"http://doi.acm.org/10.1145/277044.277168","doi":"10.1145/277044.277168","timestamp":"Thu, 16 Mar 2017 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/dac/RaviMSS98","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dac/RaviMSS98,\n author = {Kavita Ravi and\n Kenneth L. McMillan and\n Thomas R. Shiple and\n Fabio Somenzi},\n title = {Approximation and Decomposition of Binary Decision Diagrams},\n booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,\n San Francico, California, USA, June 15-19, 1998.},\n pages = {445--450},\n year = {1998},\n crossref = {DBLP:conf/dac/1998},\n url = {http://doi.acm.org/10.1145/277044.277168},\n doi = {10.1145/277044.277168},\n timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/dac/RaviMSS98},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ravi, K.","McMillan, K. L.","Shiple, T. R.","Somenzi, F."],"key":"DBLP:conf/dac/RaviMSS98","id":"DBLP:conf/dac/RaviMSS98","bibbaseid":"ravi-mcmillan-shiple-somenzi-approximationanddecompositionofbinarydecisiondiagrams-1998","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/277044.277168"},"downloads":0,"html":""},"search_terms":["approximation","decomposition","binary","decision","diagrams","ravi","mcmillan","shiple","somenzi"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}