Message passing for quantified Boolean formulas

Open in new window