TY  - RPRT
TI  - Message passing for quantified Boolean formulas
AU  - Pan Zhang
AU  - Abolfazl Ramezanpour
AU  - Lenka Zdeborová
AU  - Riccardo Zecchina
PY  - 2012
DO  - 10.1088/1742-5468/2012/05/p05025
UR  - https://arxiv.org/abs/1202.2536
ID  - 1202.2536
ER  -