%0 Journal Article %1 DBLP:tr/trier/MI98-29 %A Meinel, Christoph %A Sack, Harald %A Stangier, Christian %A Wagner, Arno %D 1998 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K imported %T Do We Really Need Common Variable Orders for Synthesizing OBDDs? %V 98-29

@article{DBLP:tr/trier/MI98-29, added-at = {2022-09-15T11:04:20.000+0200}, author = {Meinel, Christoph and Sack, Harald and Stangier, Christian and Wagner, Arno}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2180521e49b3183915587e18d9fd6d32a/vivienvetter}, interhash = {1dd700e4ffe405d3838b46bd0c64ad55}, intrahash = {180521e49b3183915587e18d9fd6d32a}, journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {imported}, timestamp = {2022-09-15T11:04:20.000+0200}, title = {Do We Really Need Common Variable Orders for Synthesizing OBDDs?}, volume = {98-29}, year = 1998 }