Message passing for quantified Boolean formulas

TitleMessage passing for quantified Boolean formulas
Publication TypeJournal Article
Year of Publication2012
AuthorsZhang P, Ramezanpour A, Zdeborova L, Zecchina R
Refereed DesignationRefereed
JournalJ. Stat. Mech
Start PageP05025