Lifted Message Passing for Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Fabian Hadiji' in GoogleThis author has not been identified. Look up 'Kristian Kersting' in GoogleThis author has not been identified. Look up 'Babak Ahmadi' in Google

runs on WebDSL