@mastersthesis{mastersthesis7a38bb84,
title   = {Lógicas de raciocínio aproximado e o problema SAT},
author = {Ide, Fabio Luiz and Finger, Marcelo},
year = {2004},
school = {Universidade de São Paulo}
}