Contribuições do(a) usuário(a) Ivsmjunior
De Ivsmjunior discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 7 edições. Conta criada a 17 de junho de 2007.
2 de julho de 2007
- 17h57min17h57min de 2 de julho de 2007 dif his +14 Algoritmo DPLL
- 17h48min17h48min de 2 de julho de 2007 dif his −69 Algoritmo DPLL
18 de junho de 2007
- 13h59min13h59min de 18 de junho de 2007 dif his −78 Algoritmo de Davis-Putnam →Referências
- 13h57min13h57min de 18 de junho de 2007 dif his +159 Algoritmo DPLL
- 00h58min00h58min de 18 de junho de 2007 dif his +157 Algoritmo de Davis-Putnam
- 00h53min00h53min de 18 de junho de 2007 dif his −2 Algoritmo DPLL
- 00h52min00h52min de 18 de junho de 2007 dif his +2 857 Algoritmo DPLL