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