La recherche d'occurrences de gènes d'ARN dans les séquences<br /> génomiques est un problème dont l'importance est renouvelée par la<br /> découverte récente de très nombreux ARN fonctionnels, opérant<br /> souvent en interaction avec d'autres molécules.<br /><br />Le formalisme des réseaux de contraintes est approprié à cette problématique aussi bien sur le plan de la modélisation que sur les développements algorithmiques qu'il permet de proposer. <br /><br /> Après une analyse et une comparaison des outils existants plongés dans le cadre des réseaux de contraintes, nous<br /> montrons comment l'utilisation conjointe des réseaux de contraintes,<br /> des techniques de résolution associées et des algorithmes et<br /> structures de données du "pattern matching" permet de modéliser et de<br /> rechercher efficacement des motifs structurés en interaction (faisant<br /> intervenir plusieurs textes génomiques simultanément).