%0 Conference Paper %1 conf/aaai/HadijiKA10 %A Hadiji, Fabian %A Kersting, Kristian %A Ahmadi, Babak %B Statistical Relational Artificial Intelligence %D 2010 %I AAAI %K %T Lifted Message Passing for Satisfiability. %U http://dblp.uni-trier.de/db/conf/aaai/stat2010.html#HadijiKA10 %V WS-10-06

@inproceedings{conf/aaai/HadijiKA10, added-at = {2023-12-12T21:21:13.000+0100}, author = {Hadiji, Fabian and Kersting, Kristian and Ahmadi, Babak}, biburl = {https://www.bibsonomy.org/bibtex/2e2e03375f76191ec04135b7db007b32a/admin}, booktitle = {Statistical Relational Artificial Intelligence}, crossref = {conf/aaai/2010stat}, ee = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/1975}, interhash = {3ce5430714272ee2fb52dc11d8c3fb50}, intrahash = {e2e03375f76191ec04135b7db007b32a}, keywords = {}, publisher = {AAAI}, series = {AAAI Workshops}, timestamp = {2023-12-12T21:21:13.000+0100}, title = {Lifted Message Passing for Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/aaai/stat2010.html#HadijiKA10}, volume = {WS-10-06}, year = 2010 }