Academic
Publications
Some heuristics for generating tree-like FBDD types

Some heuristics for generating tree-like FBDD types,10.1109/43.486278,IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems,Jo

Some heuristics for generating tree-like FBDD types   (Citations: 20)
BibTex | RIS | RefWorks Download
Reduced ordered binary decision diagrams(OBDDs) are nowadays the state-of-theartrepresentation scheme for Boolean functions inBoolean manipulation. Recent results have shownthat it is possible to use the more general conceptof free binary decision diagrams (FBDDs) withoutgiving up most of the useful computational propertiesof OBDDs, but possibly reducing the spacerequirements considerably. The amount of spacereduction depends essentially on the shape of so--called FBDD--types the...
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: