"Lifted Message Passing for Satisfiability."

Fabian Hadiji, Kristian Kersting, Babak Ahmadi (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics