The International Arab Journal of Information Technology (IAJIT)

Solving QBF with Heuristic Small W orld

Abstract: In this paper, we use gaifman graph to describe the topological structure of the Quantified Boolean Formulae

Efficient Mapping Algorithm on Mesh-based NoCs in Terms of Cellular Learning Automata

Mohammad Keley1, Ahmad Khademzadeh2, and Mehdi Hosseinzadeh1 1Department of Computer, Islamic Azad University, Iran 2Information and Communication Technology Research Institute, IRAN Telecommunication Research