Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques AutreForum traitant des mathématiques, un peu moins scolaires AlgorithmiqueForum consacré aux algorithme [tout]Lister tous les topics de mathématiques
Niveau algorithmique
Partager :

Fonctionnement de l'algorithme DPLL

Posté par
probleme314 21-10-16 à 19:57

Bonjour,
Je voudrais les explications des deux règles de l'algorithme abstract DPLL, concernant UnitProp, Decide, Fail, Bactrack.

Posté par
fred1992re : Fonctionnement de l'algorithme DPLL 22-10-16 à 01:47

Est-ce dans le cadre général ? Auquel, cf. la page wiki anglais pour une explication correcte.

S'il  s'agit de l'application de DPLL dans le cas de la logique, il y a également des explications plutôt bonnes en cherchant un peu.


Rechercher
Menu
Espace membre
Changer d'île

Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :

Rester sur la page

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !