Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2013 (2013), Article ID 165927, 6 pages
Research Article

Message Passing Algorithm for Solving QBF Using More Reasoning

School of Computer Science and Information Technology, Northeast Normal University, Changchun 130117, China

Received 26 June 2013; Accepted 24 July 2013

Academic Editor: William Guo

Copyright © 2013 Su Weihua et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Su Weihua, Yin Minghao, Wang Jianan, and Zhou Junping, “Message Passing Algorithm for Solving QBF Using More Reasoning,” Mathematical Problems in Engineering, vol. 2013, Article ID 165927, 6 pages, 2013. doi:10.1155/2013/165927