Revision as of 08:22, 4 January 2013 edit MostlyListening (talk \| contribs) 19 edits m substituting a better link for a concpet ← Previous edit		Revision as of 10:32, 26 February 2013 edit undo Addbot (talk \| contribs) Bots 2,838,809 edits m Bot: Migrating 7 interwiki links, now provided by Wikidata on d:q1177898 (Report Errors) Next edit →
Line 67: {{formalmethods-stub}} ~~[[de:Davis-Putnam-Verfahren]]~~ ~~[[es:Algoritmo de Davis-Putnam]]~~ ~~[[fr:Algorithme de Davis-Putnam]]~~ ~~[[it:Algoritmo di Davis-Putnam]]~~ ~~[[ja:デービス・パトナムのアルゴリズム]]~~ ~~[[pl:Procedura Davisa-Putnama]]~~ ~~[[pt:Algoritmo de Davis-Putnam]]~~

Davis–Putnam algorithm: Difference between revisions