@article{article10342c4e,
title   = {Probabilistic satisfiability: algorithms with the presence and absence of a phase transition},
author = {Finger, Marcelo and De Bona, Glauber},
year = {2015},
doi = {10.1007/s10472-015-9466-6},
journal   = {Annals of Mathematics and Artificial Intelligence}
}