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

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

BibTeX file

@inproceedings{2004_Ghasemzadeh_ACS,
author = { M. Ghasemzadeh, V. Klotz, Christoph Meinel },
title = { Embedding Memorization to Semantic Tree Search for deciding QBFs },
year = { 2004 },
pages = { 681–693 },
month = { 12 },
address = { Cairns, Australia },
booktitle = { Proceedings of the 17th Australian Joint Conference on Artificial Intelligence (ACS 2004) },
language = { English },
priority = { 0 }
}

Copyright Notice

last change: Thu, 20 Oct 2011 09:40:46 +0200

 

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.