@inproceedings{inproceedings34ed1cc6,
title   = {Satisfazibilidade Probabilística},
author = {De Bona, Glauber and Finger, Marcelo},
year = {2012},
publisher = {SBC},
booktitle   = {Bracis 2012 - Brazilian Conference on Intelligent Systems}
}