publicações Sobre Algunas Clases Polinomiales de Satisfacibilidad: Aplicaciones a la resolución de problemas geométricos Documento