%0 Conference Paper %1 hadijiKA10 %A Hadiji, Fabian %A Kersting, Kristian %A Ahmadi, Babak %B Statistical Relational Artificial Intelligence, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010 %D 2010 %K ml %T Lifted Message Passing for Satisfiability

@inproceedings{hadijiKA10, added-at = {2016-11-26T13:12:23.000+0100}, author = {Hadiji, Fabian and Kersting, Kristian and Ahmadi, Babak}, biburl = {https://www.bibsonomy.org/bibtex/2c59d857844f76d310f6bb635cf103a9d/machinelearning}, booktitle = {Statistical Relational Artificial Intelligence, Papers from the 2010 {AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010}, interhash = {3ce5430714272ee2fb52dc11d8c3fb50}, intrahash = {c59d857844f76d310f6bb635cf103a9d}, keywords = {ml}, timestamp = {2016-11-26T13:17:02.000+0100}, title = {Lifted Message Passing for Satisfiability}, year = 2010 }