Mois : octobre 2020

Orateur : Adrien Varet
Titre : Utilisation de la programmation par contraintes pour résoudre des problématiques liées aux benzénoïdes
Résumé : Les benzénoïdes sont une sous-famille des hydrocarbures (molécules uniquement constituées d’atomes de carbone et d’hydrogène) dont les atomes de carbones forment des hexagones. Ces molécules sont beaucoup étudiées en chimie théorique. En effet, il existe un certain nombre de problèmes relatifs aux benzénoides dans différents domaines. Dans cette présentation, on se propose de se pencher sur deux problématiques en particulier, qui sont être capable de générer des structures de benzénoïdes ou calculer l’aromaticité locale d’un benzénoïde donné. Calculer l’aromaticité locale d’un benzénoïde revient à attribuer une énergie à chacun de ses hexagones qui est induite par les déplacements de ses électrons. A l’heure actuelle, la méthode la plus utilisée pour faire ce calcul (appellée NICS) requiert des calculs de chimie quantique et est extrêmenent coûteuse. Dans cette présentation, j’aborderais dans un premier temps une méthode utilisant la programmation par contraintes capable de générer l’ensemble de structures de benzénoïdes répondant à un certain nombre de de propriétés (qui peuvent être chimiques ou structurelles). Dans un second temps, je présenterais un algorithme utilisant la programmation par contraintes capable de calculer l’aromaticité locale d’un benzénoïde donné.