Skip to Main content Skip to Navigation
Conference papers

Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming

Yannick Carissan 1 Chisom-Adaobi Dim Denis Hagebaum-Reignier 1 Nicolas Prcovic 2 Cyril Terrioux 2 Adrien Varet 2
1 CTOM - Chimie Theorique et Modèles
ISM2 - Institut des Sciences Moléculaires de Marseille
2 COALA - COntraintes, ALgorithmes et Applications
LIS - Laboratoire d'Informatique et Systèmes
Abstract : Benzenoids are a subfamily of hydrocarbons (molecules that are only made of hydrogen and carbon atoms) whose carbon atoms form hexagons. These molecules are widely studied in theoretical chemistry. Then, there is a lot of problems relative to this subject, like the benzenoid generation or the enumeration of all its Kekulé structures (i.e. all valid configurations of double bonds). In this context, the computation of the local aromaticity of a given benzenoid is an important problematic since the aromaticity cannot be measured. Nowadays, computing aromaticity requires quantum chemistry calculations that are too expensive to be used on medium to large-sized molecules. But, there exist some methods related to graph theory which can allow us to compute it. In this article, we describe how constraint programming can be useful in order to compute the aromaticity of benzenoids. Moreover we show that our method is much faster than the reference one, namely NICS.
Complete list of metadata
Contributor : Cyril Terrioux <>
Submitted on : Tuesday, February 16, 2021 - 10:21:06 AM
Last modification on : Tuesday, February 16, 2021 - 10:54:19 AM


Files produced by the author(s)



Yannick Carissan, Chisom-Adaobi Dim, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, et al.. Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming. 26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.673-689, ⟨10.1007/978-3-030-58475-7_39⟩. ⟨hal-02931928⟩



Record views


Files downloads