Il faudrait verifier cette heuristique, notamment dans ces interactions avec le backtrack et le choix des variables ayant le moins de conflit.
Log in to post a comment.
