%0 Journal Article %1 DBLP:tr/trier/MI01-07 %A Meinel, Christoph %A Sack, Harald %D 2001 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K imported %T Improving XOR-Node Placement for (+)-OBDDs %V 01-07

@article{DBLP:tr/trier/MI01-07, added-at = {2022-09-15T11:04:20.000+0200}, author = {Meinel, Christoph and Sack, Harald}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2ac49e22cccfe3e2447cc628d2fba7f96/vivienvetter}, interhash = {c9b704ed28aa9a5f9928d24558018ebe}, intrahash = {ac49e22cccfe3e2447cc628d2fba7f96}, journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {imported}, timestamp = {2022-09-15T11:04:20.000+0200}, title = {Improving XOR-Node Placement for (+)-OBDDs}, volume = {01-07}, year = 2001 }