Discussão:Algoritmo de Davis-Putnam

		Este artigo foi avaliado automaticamente com qualidade 2 e faz parte do âmbito de um WikiProjeto: Lógica.
		Para o WikiProjeto:Lógica este artigo possui importância ainda não avaliada. Se você se interessa pelo assunto, visite o projeto para conhecer as tarefas e discussões em curso.
Se não tiver suas questões respondidas nesta página de discussão procure o(s) wikiprojeto(s) acima.

Este artigo foi desenvolvido e/ou revisto no âmbito de uma atividade educacional em junho de 2008. Estão disponíveis mais detalhes.