@inproceedings { hadiji10starai,
author = {F. Hadiji and K. Kersting and B. Ahmadi},
title = {Lifted Message Passing for Satisfiability },
year = {2010},
booktitle = {Working Notes of the AAAI10 Workshop on Statistical
Relational AI (StarAI)},
editor = {K. Kersting and S. Russell and L. Kaelbling and A. 
Halevy and S. Natarajan and L. Mihalkova},
publisher = {AAAI Press}
}