Contact

Prof. Dr. Christoph Meinel

Hasso-Plattner-Institut
an der Universität Potsdam

Tel: +49 0331/5509-222
Fax: +49 0331/5509-325
Mobil: +49 176 10010727
meinel"at"hpi.uni-potsdam.de

Blogs

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

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

Trust and Security Engineering
Future Internet technologies: Web 3.0
Next-generation Internet applications in: Web-University, Telemedicine and other applications
The innovation method Design Thinking

Go back to the complete list.