Fabian Hadiji, Kristian Kersting, Babak Ahmadi. Lifted Message Passing for Satisfiability. In Statistical Relational Artificial Intelligence, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010. Volume WS-10-06 of AAAI Workshops, AAAI, 2010. [doi]