Pour éviter les phases et le Ranking :
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

partir de l'état initial.

Exclure tous les états qui ne sont pas trivialement satisfiables.

Requêtes N-aires.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~:

Garder pour chaque variable un ensemble de candidats.
et propager.