Lifted message passing for satisfiability
Authors
Fabian Hadiji, Kristian Kersting, Babak Ahmadi
Publication date
2010/7/7
Conference
Workshops at the Twenty-Fourth AAAI Conference on Artificial Intelligence
Total citations
20112012201320142015201611111
Scholar articles
F Hadiji, K Kersting, B Ahmadi - Workshops at the Twenty-Fourth AAAI Conference on …, 2010