Verificação e reconstrução eficientes de certificados SMT O projeto Efficient checking and reconstruction of SMT proofs busca resolver o problema de não haver um verificador de certificados para solucionadores SMT que seja independente, eficiente e fácil de ser utilizado, pois os existentes são muito específicos, tem limitações de escalabilidade, são difíceis de serem utilizados, ou uma combinação …