Lifted Message Passing for Satisfiability

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]

Abstract

Abstract is missing.