Lex-Partitioning: A New Option for BDD Search. Edelkamp, S., Kissmann, P., & Torralba, Á. arXiv preprint arXiv:1210.6415, 2012. bibtex @article{edelkamp2012lex,
title={Lex-Partitioning: A New Option for BDD Search},
author={Edelkamp, Stefan and Kissmann, Peter and Torralba, {\'A}lvaro},
journal={arXiv preprint arXiv:1210.6415},
year={2012}
}
Downloads: 0
{"_id":{"_str":"534278a00e946d920a00121f"},"__v":6,"authorIDs":[],"author_short":["Edelkamp, S.","Kissmann, P.","Torralba, Á."],"bibbaseid":"edelkamp-kissmann-torralba-lexpartitioninganewoptionforbddsearch-2012","bibdata":{"bibtype":"article","type":"article","title":"Lex-Partitioning: A New Option for BDD Search","author":[{"propositions":[],"lastnames":["Edelkamp"],"firstnames":["Stefan"],"suffixes":[]},{"propositions":[],"lastnames":["Kissmann"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Torralba"],"firstnames":["Álvaro"],"suffixes":[]}],"journal":"arXiv preprint arXiv:1210.6415","year":"2012","bibtex":"@article{edelkamp2012lex,\n title={Lex-Partitioning: A New Option for BDD Search},\n author={Edelkamp, Stefan and Kissmann, Peter and Torralba, {\\'A}lvaro},\n journal={arXiv preprint arXiv:1210.6415},\n year={2012}\n}\n\n","author_short":["Edelkamp, S.","Kissmann, P.","Torralba, Á."],"key":"edelkamp2012lex","id":"edelkamp2012lex","bibbaseid":"edelkamp-kissmann-torralba-lexpartitioninganewoptionforbddsearch-2012","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.plg.inf.uc3m.es/~atorralb/bib/publist.bib","downloads":0,"keywords":[],"search_terms":["lex","partitioning","new","option","bdd","search","edelkamp","kissmann","torralba"],"title":"Lex-Partitioning: A New Option for BDD Search","year":2012,"dataSources":["9nhcmgGGkcNujG9hH"]}