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-25
%A Meinel, Christoph
%A Slobodová, Anna
%D 1998
%J Universität Trier, Mathematik/Informatik, Forschungsbericht
%K dblp
%T Accelerating OBDD-Minimization by Means of Structural and Semantical Properties
%V 98-25
@article{tr/trier/MI98-25,
added-at = {2011-12-29T00:00:00.000+0100},
author = {Meinel, Christoph and Slobodová, Anna},
biburl = {https://www.bibsonomy.org/bibtex/21c4d5e3d1b45f369feb4714317e31586/dblp},
interhash = {9361e290293a4d3718d4e507dca0997c},
intrahash = {1c4d5e3d1b45f369feb4714317e31586},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
keywords = {dblp},
timestamp = {2011-12-30T11:32:10.000+0100},
title = {Accelerating OBDD-Minimization by Means of Structural and Semantical Properties},
volume = {98-25},
year = 1998
}