Inscription / Connexion Nouveau Sujet
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
fred1992
re : 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.

Répondre à ce sujet

Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster :

Connexion / Inscription Poster un nouveau sujet
Une question ?
Besoin d'aide ?
(Gratuit)
Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.


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 !