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).
[ BibSonomy-Post ] [ BibTeX ] [ Details ]
 
@inproceedings{2004_Ghasemzadeh_ACS, address = {Cairns, Australia}, author = {Ghasemzadeh, M. and Klotz, V. and Meinel, Christoph}, booktitle = {Proceedings of the 17th Australian Joint Conference on Artificial Intelligence (ACS 2004)}, keywords = {its}, month = 12, pages = {681–693}, title = {Embedding Memorization to Semantic Tree Search for deciding QBFs}, year = 2004 }
Weitere Informationen
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).
[ BibSonomy-Post ] [ BibTeX ] [ Download ] [ Details ]
 
@inproceedings{2004_GhasemZadeh_IWSBP, address = {Freiberg, Germany}, author = {GhasemZadeh, Mohammad and Klotz, Volker and Meinel, Christoph}, booktitle = {Proceedings of the 6th International Workshop on Boolean Problems (IWSBP 2004)}, keywords = {its}, month = 9, pages = {257-264}, title = {Strengthening Semantic-tree Method in evaluating QBFs}, year = 2004 }
Weitere Informationen
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).
[ BibSonomy-Post ] [ BibTeX ] [ Download ] [ Details ]
 
@inproceedings{2004_Ghasemzadeh_AI-METH, address = {Gliwice, Poland}, author = {Ghasemzadeh, M. and Klotz, V. and Meinel, Christoph}, booktitle = {Proceedings of Symposium of Methods on AI (AI-METH 2004)}, keywords = {its}, month = 11, pages = {115-120}, title = {Representation and Evaluation of QBFs in Prenex-NNF}, year = 2004 }
Weitere Informationen

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).
[ BibSonomy-Post ] [ BibTeX ] [ Download ] [ Details ]
 
@inproceedings{2003_GhasemZadeh_RM, address = {Trier, Germany}, author = {GhasemZadeh, M. and Meinel, Christoph}, booktitle = {Proceedings of the 6th International Symposium on Representations and Methodology of Future Computing Technology (RM 2003)}, keywords = {its}, month = 3, pages = {63-68}, title = {BDDS, Horn Clauses and Resolution}, year = 2003 }
Weitere Informationen

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).
[ BibSonomy-Post ] [ BibTeX ] [ DOI ] [ Download ] [ Details ]
 
@inproceedings{2000_Sack_IWLS, address = {Dana Point, California, USA}, author = {Sack, Harald and Dubrova, Elena and Meinel, Christoph}, booktitle = {Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)}, keywords = {its}, month = 5, pages = {341-348}, publisher = {IEEE Press}, title = {Representation of Multiple-Valued Functions with Mod-p Decision Diagrams}, year = 2000 }
Weitere Informationen
URNhttp://dx.doi.org/10.1109/ISMVL.2000.848625
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).
[ BibSonomy-Post ] [ BibTeX ] [ DOI ] [ Download ] [ Details ]
 
@inproceedings{2000_Sack_ISMVL, address = {Portland, Oregon, USA}, author = {Sack, Harald and Dubrova, Elena and Meinel, Christoph}, booktitle = {Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)}, keywords = {its}, month = 5, pages = {233-238}, publisher = {IEEE Press}, title = {Mod-p-DDs: A Data-Structure for Multiple-Valued Functions}, year = 2000 }
Weitere Informationen
URNhttp://dx.doi.org/10.1109/ISMVL.2000.848625