Wikipédia

Algoritmo de Davis-Putnam: diferenças entre revisões

Explorar interativamente o histórico
← Ver a alteração anteriorVer a alteração posterior →
Conteúdo apagado Conteúdo adicionado
VisualTexto wiki
KLBot2 (discussão | contribs)
Robôs
356 018 edições
m Bot: A migrar 7 interwikis, agora providenciados por Wikidata em d:Q1177898
→‎Ligações externas: Fixed wrong link.
Linha 91:
 
== {{Ligações externas}} ==
* [http://www-old.cs.st-andrews.ac.uk/~ipg/AI/Lectures/Search4/tsld011.htm Página sobre algoritmos DP/DLL/DPLL]
* [http://wiki.di.uminho.pt/twiki/pub/Education/LC/MaterialApoio/LogProp3.pdf Material sobre o algoritmo de Davis-Putnam]
 
Obtida de "https://pt.wikipedia.org/wiki/Algoritmo_de_Davis-Putnam"