Exploration of Chemical Space Through Automated Reasoning. - Clymo, Judith; Collins, Christopher M.; Atkinson, Katie; Dyer, Matthew S.; Gaultois, Michael W.; Gusev, Vladimir V.; Rosseinsky, Matthew J.; Schewe, Sven (Angewandte Chemie International Edition, 2025)