@mastersthesis{mastersthesis3c112c51,
title   = {Independência parcial no problema da satisfazibilidade probabilística},
author = {Morais, Eduardo Menezes de and Finger, Marcelo},
year = {2018},
school = {Universidade de São Paulo}
}