Message Passing Algorithm for Solving QBF Using More Reasoning

Figure 1

A simple example of a factor graph.