Algorithme de Davis-Putnam

Peu commune · Savoir · algorithme

3Algorithme de Davis-Putnam

Savoir, algorithmePC

Érudition. En arrivant : pioche une carte.

2 935

3 058

Pl. 217950WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs

D'où viennent les stats

Attaque: 2 935
Richesse : 6 déclarations, comparé aux autres cartes du même type.
Défense: 3 058
Rayonnement : 11 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

En calcul propositionnel, l'algorithme de Davis-Putnam est une méthode de détermination de la satisfiabilité d'une formule en forme normale conjonctive, c'est-à-dire une conjonction de clauses. Il a été développé par Martin Davis et Hilary Putnam. Cet algorithme a d'abord été conçu pour l'obtention automatique de preuves en calcul des prédicats, mais sa principale innovation concerne la réfutation automatique d'un ensemble de clauses.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Algorithme de Davis-Putnam », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0). Image : Backtracking-no-backjumping.svg sur Wikimedia Commons ; auteur et licence sur la page du fichier.

Signaler cette carte

Finitions

Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.

Cartes liées

Ces sujets sont reliés à Algorithme de Davis-Putnam dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

4Martin Davis