Contribuições do(a) usuário(a) Celopinho

29 de junho de 2007

• 05h48min05h48min de 29 de junho de 2007 dif his 0‎ Problema de satisfatibilidade booliana ‎
• 05h43min05h43min de 29 de junho de 2007 dif his −3‎ Problema de satisfatibilidade booliana ‎

18 de junho de 2007

• 22h56min22h56min de 18 de junho de 2007 dif his +6‎ Algoritmo Chaff ‎ →‎Resolvente
• 16h04min16h04min de 18 de junho de 2007 dif his +184‎ Problema de satisfatibilidade booliana ‎ →‎Ver também
• 16h01min16h01min de 18 de junho de 2007 dif his +30‎ Algoritmo DPLL ‎ →‎Ver também
• 16h00min16h00min de 18 de junho de 2007 dif his +32‎ Algoritmo de Davis-Putnam ‎ →‎Ver Também
• 15h58min15h58min de 18 de junho de 2007 dif his +2‎ Quantificacao existencial ‎ ← feito redirecionamento para Quantificação existencial atual
• 15h58min15h58min de 18 de junho de 2007 dif his +39‎ N Quantificacao existencial ‎ ← feito redirecionamento para Quantificação universal
• 15h48min15h48min de 18 de junho de 2007 dif his −88‎ Problema de satisfatibilidade booliana ‎ →‎3-satisfatibilidade
• 15h44min15h44min de 18 de junho de 2007 dif his −58‎ Problema de satisfatibilidade booliana ‎ →‎NP-integralidade
• 15h38min15h38min de 18 de junho de 2007 dif his −37‎ Problema de satisfatibilidade booliana ‎ →‎Definições básicas, terminologia e aplicações
• 15h34min15h34min de 18 de junho de 2007 dif his −115‎ Problema de satisfatibilidade booliana ‎
• 15h29min15h29min de 18 de junho de 2007 dif his +282‎ Algoritmo de Davis-Putnam ‎ →‎Exemplo
• 12h49min12h49min de 18 de junho de 2007 dif his −93‎ Problema de satisfatibilidade booliana ‎
• 12h29min12h29min de 18 de junho de 2007 dif his +2‎ Algoritmo de Davis-Putnam ‎ →‎Idéia do algoritmo
• 12h26min12h26min de 18 de junho de 2007 dif his +1‎ Algoritmo de Davis-Putnam ‎ →‎Algoritmo

17 de junho de 2007

• 22h06min22h06min de 17 de junho de 2007 dif his 0‎ Algoritmo de Davis-Putnam ‎
• 19h17min19h17min de 17 de junho de 2007 dif his +39‎ N Algoritmo de davis putnam ‎ ← feito redirecionamento para Algoritmo de Davis-Putnam atual
• 19h16min19h16min de 17 de junho de 2007 dif his +39‎ N Algoritmo de Davis Putnam ‎ ← feito redirecionamento para Algoritmo de Davis-Putnam atual
• 18h11min18h11min de 17 de junho de 2007 dif his 0‎ Algoritmo de Davis-Putnam ‎
• 17h45min17h45min de 17 de junho de 2007 dif his +1‎ Algoritmo de Davis-Putnam ‎
• 17h39min17h39min de 17 de junho de 2007 dif his +39‎ N Algoritmo davis putnam ‎ ← feito redirecionamento para Algoritmo de Davis-Putnam atual
• 17h35min17h35min de 17 de junho de 2007 dif his +3‎ Problema de satisfatibilidade booliana ‎
• 17h35min17h35min de 17 de junho de 2007 dif his +28‎ N Algoritmo dpll ‎ ← feito redirecionamento para Algoritmo DPLL atual
• 17h34min17h34min de 17 de junho de 2007 dif his +3‎ Algoritmo Chaff ‎
• 17h33min17h33min de 17 de junho de 2007 dif his +39‎ N Algoritmo de davis-putnam ‎ ← feito redirecionamento para Algoritmo de Davis-Putnam atual
• 17h33min17h33min de 17 de junho de 2007 dif his +3‎ Algoritmo davis-putnam ‎ ← feito redirecionamento para Algoritmo de Davis-Putnam atual
• 17h30min17h30min de 17 de junho de 2007 dif his +36‎ N Algoritmo davis-putnam ‎ ← feito redirecionamento para Algoritmo Davis-Putnam
• 08h31min08h31min de 17 de junho de 2007 dif his +13 169‎ Problema de satisfatibilidade booliana ‎