Combining ordered best-first search with branch and bound for exact BDD minimization. Ebendt, R., Günther, W., & Drechsler, R. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 24(10):1515-1529, 2005. Link Paper bibtex @article{journals/tcad/EbendtGD05,
added-at = {2020-09-24T00:00:00.000+0200},
author = {Ebendt, Rüdiger and Günther, Wolfgang and Drechsler, Rolf},
biburl = {https://www.bibsonomy.org/bibtex/22897ccff22cd8065ee1eceb14f59aec3/dblp},
ee = {https://www.wikidata.org/entity/Q59242852},
interhash = {366b51e9b130f9c988a7728d89cb135d},
intrahash = {2897ccff22cd8065ee1eceb14f59aec3},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
keywords = {dblp},
number = 10,
pages = {1515-1529},
timestamp = {2020-09-25T11:49:09.000+0200},
title = {Combining ordered best-first search with branch and bound for exact BDD minimization.},
url = {http://dblp.uni-trier.de/db/journals/tcad/tcad24.html#EbendtGD05},
volume = 24,
year = 2005
}
Downloads: 0
{"_id":"X3qY3LMKD94gp7kGa","bibbaseid":"ebendt-gnther-drechsler-combiningorderedbestfirstsearchwithbranchandboundforexactbddminimization-2005","authorIDs":[],"author_short":["Ebendt, R.","Günther, W.","Drechsler, R."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-24T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Ebendt"],"firstnames":["Rüdiger"],"suffixes":[]},{"propositions":[],"lastnames":["Günther"],"firstnames":["Wolfgang"],"suffixes":[]},{"propositions":[],"lastnames":["Drechsler"],"firstnames":["Rolf"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22897ccff22cd8065ee1eceb14f59aec3/dblp","ee":"https://www.wikidata.org/entity/Q59242852","interhash":"366b51e9b130f9c988a7728d89cb135d","intrahash":"2897ccff22cd8065ee1eceb14f59aec3","journal":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.","keywords":"dblp","number":"10","pages":"1515-1529","timestamp":"2020-09-25T11:49:09.000+0200","title":"Combining ordered best-first search with branch and bound for exact BDD minimization.","url":"http://dblp.uni-trier.de/db/journals/tcad/tcad24.html#EbendtGD05","volume":"24","year":"2005","bibtex":"@article{journals/tcad/EbendtGD05,\n added-at = {2020-09-24T00:00:00.000+0200},\n author = {Ebendt, Rüdiger and Günther, Wolfgang and Drechsler, Rolf},\n biburl = {https://www.bibsonomy.org/bibtex/22897ccff22cd8065ee1eceb14f59aec3/dblp},\n ee = {https://www.wikidata.org/entity/Q59242852},\n interhash = {366b51e9b130f9c988a7728d89cb135d},\n intrahash = {2897ccff22cd8065ee1eceb14f59aec3},\n journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},\n keywords = {dblp},\n number = 10,\n pages = {1515-1529},\n timestamp = {2020-09-25T11:49:09.000+0200},\n title = {Combining ordered best-first search with branch and bound for exact BDD minimization.},\n url = {http://dblp.uni-trier.de/db/journals/tcad/tcad24.html#EbendtGD05},\n volume = 24,\n year = 2005\n}\n\n","author_short":["Ebendt, R.","Günther, W.","Drechsler, R."],"key":"journals/tcad/EbendtGD05","id":"journals/tcad/EbendtGD05","bibbaseid":"ebendt-gnther-drechsler-combiningorderedbestfirstsearchwithbranchandboundforexactbddminimization-2005","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q59242852","Paper":"http://dblp.uni-trier.de/db/journals/tcad/tcad24.html#EbendtGD05"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Gunther?items=1000","creationDate":"2020-11-19T14:18:48.193Z","downloads":0,"keywords":["dblp"],"search_terms":["combining","ordered","best","first","search","branch","bound","exact","bdd","minimization","ebendt","günther","drechsler"],"title":"Combining ordered best-first search with branch and bound for exact BDD minimization.","year":2005,"dataSources":["vx3tQbZepny2tNB7k"]}