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