Cette thèse est centrée sur la résolution des problèmes de satisfiabilité SAT et MAX-SAT. Les contributions apportées sont de trois types. Tout d’abord nous avons développé l’algorithme mémétique GASAT pour les problèmes SAT et MAX-SAT hybridant un algorithme tabou et un algorithme génétique. Des outils spécifiques aux problèmes de satisfiabilité y ont été intégrés tels que des mécanismes d’intensification, de diversification et un nouvel opérateur de croisement. Ensuite, nous avons proposé un nouveau cadre de résolution permettant aux méthodes exactes et aux méthodes approchées de manipuler la même représentation de l’espace de recherche. Pour cela, nous avons ajouté une troisième valeur de vérité indéterminé . Les résultats obtenus par les algorithmes hybrides trivalués montrent l’intérêt de ce cadre de résolution. Enfin, nous nous sommes penchés sur les heuristiques de branchement des algorithmes de Branch and Bound pour le problème MAX-SAT. L’étude que nous présentons montre que ces heuristiques réagissent très différemment en fonction des paramètres initiaux, de la structure de l’instance étudiée et des mécanismes d’amélioration du Branch and Bound. Elle permet d’envisager la création de nouvelles heuristiques spécifiquement dédiées au problème MAX-SAT.