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:

Embedding Memorization to Semantic Tree Search for deciding QBFs

Ghasemzadeh, M.; Klotz, V.; Meinel, Christoph in Proceedings of the 17th Australian Joint Conference on Artificial Intelligence (ACS 2004) Seite 681–693 . Cairns, Australia , 2004 .

Weitere Informationen
Tags its

 

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.