Hasso-Plattner-Institut
  
    • de
 

Conference Papers for OBDD at the Chair of Prof. Dr. Christoph Meinel

Here you can find our peer-reviewed conference papers on Branching Programs, (Ordered) Binary Decision Diagrams - (O)BDDs, and on BDD-based Efficient Data Structures and Algorithms:

Mod-p-DDs: A Data-Structure for Multiple-Valued Functions

Harald Sack, Elena Dubrova, Christoph Meinel
In Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000), pages 233-238, Portland, Oregon, USA, 5 2000 IEEE Press.

DOI: 10.1109/ISMVL.2000.848625

BibTeX file

@inproceedings{2000_Sack_ISMVL,
author = { Harald Sack, Elena Dubrova, Christoph Meinel },
title = { Mod-p-DDs: A Data-Structure for Multiple-Valued Functions },
year = { 2000 },
pages = { 233-238 },
month = { 5 },
publisher = { IEEE Press },
address = { Portland, Oregon, USA },
booktitle = { Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000) },
isbn = { 0-7695-0692-5 },
language = { English },
priority = { 0 }
}

Copyright Notice

last change: Sun, 17 Nov 2013 11:57:51 +0100

 

You can find other sub-lists of our conference papers focusing on 

Go back to the complete list of peer-reviewed conference papers.

Other Links

... to our Research
              Security Engineering - Learning & Knowledge Tech - Design Thinking - former
... to our Teaching
              Tele-Lectures - MOOCs - Labs - Systems 
... to our Publications
              Books - Journals - Conference-Papers - Patents
... and to our Annual Reports.