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]
@inproceedings{HadijiKA10,
title = {Lifted Message Passing for Satisfiability},
author = {Fabian Hadiji and Kristian Kersting and Babak Ahmadi},
year = {2010},
url = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/1975},
researchr = {https://researchr.org/publication/HadijiKA10},
cites = {0},
citedby = {0},
booktitle = {Statistical Relational Artificial Intelligence, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010},
volume = {WS-10-06},
series = {AAAI Workshops},
publisher = {AAAI},
}