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:

Representation and Evaluation of QBFs in Prenex-NNF

M. Ghasemzadeh, V. Klotz, Christoph Meinel
In Proceedings of Symposium of Methods on AI (AI-METH 2004), pages 115-120, Gliwice, Poland, 11 2004

BibTeX file

@inproceedings{2004_Ghasemzadeh_AI-METH,
author = { M. Ghasemzadeh, V. Klotz, Christoph Meinel },
title = { Representation and Evaluation of QBFs in Prenex-NNF },
year = { 2004 },
pages = { 115-120 },
month = { 11 },
address = { Gliwice, Poland },
booktitle = { Proceedings of Symposium of Methods on AI (AI-METH 2004) },
language = { English },
priority = { 0 }
}

Copyright Notice

last change: Thu, 20 Oct 2011 11:00:31 +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.