Molecular Fragments from Incomplete, Real-life NMR Data: Framework for Spectra Analysis with Constraint Solvers Topics: Constraint Satisfaction In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, 834-841, 2022