Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 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
%T Do We Really Need Common Variable Orders for Synthesizing OBDDs?
%V 98-29
@article{tr/trier/MI98-29,
added-at = {2023-12-12T19:14:41.000+0100},
author = {Meinel, Christoph and Sack, Harald and Stangier, Christian and Wagner, Arno},
biburl = {https://www.bibsonomy.org/bibtex/2bfcfdd1633eb37ad40da0be7ba602cf9/admin},
interhash = {1dd700e4ffe405d3838b46bd0c64ad55},
intrahash = {bfcfdd1633eb37ad40da0be7ba602cf9},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
keywords = {},
timestamp = {2023-12-12T19:14:41.000+0100},
title = {Do We Really Need Common Variable Orders for Synthesizing OBDDs?},
volume = {98-29},
year = 1998
}