@misc{miscde6b7db5,
title   = {A polynomial algorithm for deciding 3-sat},
author = {Weiss, Maria Angela},
year = {2007},
publisher = {IME-USP}
}