Lifted Message Passing for Satisfiability.

Fabian Hadiji, Kristian Kersting, Babak Ahmadi

Browse the full AAAI paper archive.