Utiliser la PPC pour générer des structures de benzénoïdes en chimie théorique

Résumé : Les benzénoïdes sont une sous-famille d'hydrocarbures (molécules composées uniquement d'atomes d'hydrogène et de carbone) dont les atomes de carbone forment des hexagones. Ces molécules ont fait l'objet de nombreuses études en chimie théorique et possèdent de nombreuses applications concrètes. La génération de benzénoïdes ayant certaines propriétés structurelles (par exemple, ayant un nombre donné d'hexagones ou ayant une structure particulière du point de vue graphique) est un problème intéressant et important. Il constitue une étape préliminaire à l'étude de leurs propriétés chimiques. Dans cet article, nous montrons que modéliser ce problème dans Choco Solver et laisser son moteur de recherche générer les solutions constitue une approche rapide et très flexible. Elle permet notamment de générer des structures répondant aux besoins des chimistes simplement en ajoutant de nouvelles variables et/ou contraintes tout en évitant d'avoir à développer des méthodes algorithmiques ad-hoc. Ce papier est un résumé de [2].