Ce mémoire ce concentre sur la comparaison entre quelques méthodes structurelles et sémantiques o`u on a choisi la complexité comme métrique de comparaison, après avoir fait une études sur les généralités des CSPs puis ...