MPQBF: Message Passing for Quantified Boolean Formulas

This package contains source code of bpquaffle(Belief Propagation guided Quaffle), bpspdu(Belief Propagation and Survey Propagation for extracting a Unsatisfiable sub-formula from a QBF), rqgen(Random QBF Generator) and executable binary of bpqube7.2(QuBE7.2 using Belief Propagation as decision heuristic).
To compile code, change directory into "src" folder and type "make", three executable files will be generated: bpquaffle, bpspdu and rqgen. The code are tested under linux with g++ 4.6.1

Some examples of using bpqube7.2:
bpqube7.2 a.qdimacs -solve -all -sstat			use Belief Propagation decision heuristic
bpqube7.2 a.qdimacs -solve -all -sstat --heur bpd	use Belief Propagation Decimation decision heuristic
bpqube7.2 a.qdimacs -solve -all -sstat --heur occs	use occs decision heuristic, which is default heuristic in original QuBE7.2
bpqube7.2 a.qdimacs -solve -all -sstat --timelimit 100	use Belief Propagation decision heuristic, timelimit is 100 seconds

For any problem, please contract july.lzu (at) gmail.com
Pan Zhang
2012.01.25

