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.