@mastersthesis{mastersthesisfc867108, title = {Satisfazibilidade probabilística}, author = {De Bona, Glauber and Finger, Marcelo}, year = {2011}, school = {Universidade de São Paulo} }