@misc{indiciae6394bfba1f8a,
  title = {Message passing for quantified Boolean formulas},
  author = {Pan Zhang and Abolfazl Ramezanpour and Lenka Zdeborová and Riccardo Zecchina},
  year = {2012},
  doi = {10.1088/1742-5468/2012/05/p05025},
  url = {https://arxiv.org/abs/1202.2536},
  note = {Source identifier: 1202.2536}
}