Dans ce travail, nous abordons une méthode hybride pour la résolution du problème OPTW (Orienteering Problem with Time Windows) dans lequel on considère un ensemble de N clients optionnels pouvant être visités dans certaines fenêtres temporelles et qui apportent chacun un profit. Ce problème implique deux niveaux de décisions, avec d'un côté le problème de la sélection des clients à visiter, et de l'autre le séquencement des visites des clients sélectionnés. Notre approche s'inspire de méthodes de type SAT Modulo Theory (SMT) dans lesquelles des décisions sur des variables booléennes d'un problème sont prises pour pouvoir ensuite raisonner, sans disjonction, sur un problème spécifique disposant de méthodes de résolution très efficace. Dans l'approche explorée pour les OPTW, les décisions de sélection de clients sont prises à un premier niveau, et une recherche locale efficace est utilisée sur le problème bas niveau TSPTW (Traveling Salesman Problem with Time Windows) pour évaluer très rapidement la faisabilité de la sélection d'un ensemble de clients fixé. En outre, comme dans les approches SMT classiques, des explications peuvent être calculées pour aider la prise de décision au premier niveau. Dans notre cas, ces explications correspondent à des conflits de sélection de clients qui vont venir enrichir une base de conflits.