PUC-SAT : um solucionador híbrido baseado nos algoritmos de Stalmarck e DPLL - Silva, Flávio Márcio de Morais e (2010)