Le traitement de modèles graphiques (SAT, Réseaux de contraintes, Réseaux Bayésiens, Champs de Markov, etc.) par les méthodes de décomposition développées par l'équipe COALA au service de la bio-informatique.

Dans le cadre du programme non-thématique ANR De-Mo-Graph coordonné nationalement par l'équipe COALA, le système ToulBar2 (développé à l'INRIA-MIA-Toulouse) dans sa version BTD (Backtracking on Tree-Decomposition : méthode de résolution basée sur la décomposition arborescente de graphes conçue et développée par l'équipe) a vu une application remarquable en bio-informatique. Ainsi, en collaboration avec un biochimiste belge et des chercheurs japonais, ces techniques ont permis d’aboutir à la création d'une protéine symétrique capable de s'auto-assembler. Ces résultats sont évoqués dans l’article intitulé « L’intelligence Artificielle stimule l’étude des protéines » publié par la revue La Recherche dans son numéro 548 de juin 2019. Cela montre l'apport fondamental que peuvent offrir les méthodes d'optimisation sous contraintes dans les systèmes d'intelligence artificielle (l'algorithme de base BTD avait fait l'objet d'une première publication dans la revue de référence Artificial Intelligence en 2003).