Solving QBF with heuristic small-world optimization search algorithm
By: Li, Tao; Xiao, Nanfeng. The International Arab Journal of Information Technology. Vol. 12, no. 4 (Jul. 2015), 10 p.
Subjects: Algorithms; Mathematical analysis; Operations research; Simulation methods