Bonjour,
Je voudrais savoir quelles sont les deux règles de l'algorithme abstract DPLL, concernant UnitProp, Decide, Fail, Bactrack.
Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
Fonctionnement de l'algorithme DPLL
Bonjour,
Je voudrais savoir quelles sont les deux règles de l'algorithme abstract DPLL, concernant UnitProp, Decide, Fail, Bactrack.
Répondre avec citation
Partager