Probabilistic satisfiability: algorithms with the presence and absence of a phase transition - Finger, Marcelo; De Bona, Glauber (Annals of Mathematics and Artificial Intelligence, 2015)