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:

[ 2004 ] [ 2003 ] [ 2000 ]

2004 [ nach oben ]

  • 1.
    Ghasemzadeh, M., Klotz, V., Meinel, C.: Embedding Memorization to Semantic Tree Search for deciding QBFs. Proceedings of the 17th Australian Joint Conference on Artificial Intelligence (ACS 2004). pp. 681–693. , Cairns, Australia (2004).
     
  • 2.
    GhasemZadeh, M., Klotz, V., Meinel, C.: Strengthening Semantic-tree Method in evaluating QBFs. Proceedings of the 6th International Workshop on Boolean Problems (IWSBP 2004). pp. 257–264. , Freiberg, Germany (2004).
     
  • 3.
    Ghasemzadeh, M., Klotz, V., Meinel, C.: Representation and Evaluation of QBFs in Prenex-NNF. Proceedings of Symposium of Methods on AI (AI-METH 2004). pp. 115–120. , Gliwice, Poland (2004).
     

2003 [ nach oben ]

  • 1.
    GhasemZadeh, M., Meinel, C.: BDDS, Horn Clauses and Resolution. Proceedings of the 6th International Symposium on Representations and Methodology of Future Computing Technology (RM 2003). pp. 63–68. , Trier, Germany (2003).
     

2000 [ nach oben ]

  • 1.
    Sack, H., Dubrova, E., Meinel, C.: Representation of Multiple-Valued Functions with Mod-p Decision Diagrams. Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000). pp. 341–348. IEEE Press, Dana Point, California, USA (2000).
     
  • 2.
    Sack, H., Dubrova, E., Meinel, C.: Mod-p-DDs: A Data-Structure for Multiple-Valued Functions. Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000). pp. 233–238. IEEE Press, Portland, Oregon, USA (2000).
     

 

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.