Les méthodes classiques de résolution de problèmes de satisfaction de contraintes alternent généralement deux étapes : la propagation et l'exploration. La propagation réduit les domaines en fonction des contraintes. Elle peut être vue comme une étape de division de l'espace de recherche en deux parties : le sous-espace inconsistant, qui est éliminé du processus de résolution et le sous-espace indéterminé qui contient les solutions du problème. L'étape d'exploration consiste alors à diviser le sous-espace indéterminé en plusieurs sous-espaces où continuer la résolution. Cette étape est implantée dans la plupart des solveurs de contraintes à l'aide d'heuristiques de coupe qui reposent sur les domaines des variables et/ou les contraintes du problème. Cet article introduit une nouvelle étape dans la résolution appelée élimination. Elle divise l'espace de recherche en deux sous-espaces : l'espace indéterminé et l'espace consistant. Elle permet de mieux tirer profit des contraintes et ainsi d'obtenir des frontières plus pertinentes pour la résolution. Cette nouvelle étape est basée sur une observation clé : la partie consistante d'un problème est équivalente à la partie inconsistante du problème complémentaire. Nous avons implanté cette méthode au sein du solveur continu AbSolute. Ce solveur mixe des méthodes d'Interpretation Abstraite et de Programmation Par Contraintes, et la technique d'élimination s'y intègre bien. Les premiers résultats expérimentaux montrent des améliorations significatives des performances du processus de résolution.