... Proceedingsof the Sixth International Workshop on ConstraintModelling and Reformulation (ModRef’07), Provi-dence, Rhode Island, USA.David Weininger, Arthur Weininger, and Joseph L.Weininger. ... representation formatsare SMILES strings (Simplified Molecular InputLine Entry System (Weininger, 1988)) and In- ChIs2. For example, a SMILES string such asCC(OH)CCC unambiguously describes a chain offive ... prop-2-yn-1-imineAfter modeling a CSP according to the semanticrepresenation of the input name, the next step in processing is to run a constraint solver. This willbe described in the following section.2.3...