Contribuições do(a) usuário(a) 201.55.97.57
De 201.55.97.57 discussão registo de bloqueios registos registo do filtro de edições
17 de junho de 2007
- 17h28min17h28min de 17 de junho de 2007 dif his +5 505 N Algoritmo de Davis-Putnam ← nova página: == Algoritmo de Davis-Putnam == O algoritmo de Davis Putnam foi um dos pioneiros na área de checagem da satisfatibilidade de uma fórmula quando essa encontra-se na ...