Bonjour,
Je voudrais savoir quelles sont les deux règles de l'algorithme abstract DPLL, concernant UnitProp, Decide, Fail, Bactrack.
Bonjour,
Je voudrais savoir quelles sont les deux règles de l'algorithme abstract DPLL, concernant UnitProp, Decide, Fail, Bactrack.
Partager