1 Pour éviter les phases et le Ranking :
2 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4 partir de l'état initial.
6 Exclure tous les états qui ne sont pas trivialement satisfiables.
9 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~:
11 Garder pour chaque variable un ensemble de candidats.