@inproceedings{inproceedings40c5818f,
title   = {Probabilistic satisfiability: logic-based algorithms and phase transition},
author = {Finger, Marcelo and De Bona, Glauber},
year = {2011},
doi = {10.5555/2283396.2283483},
publisher = {AAAI Press},
booktitle   = {International Joint Conference on Artificial Intelligence - IJCAI}
}