A Novel Method for Inferring Chemical Compounds With Prescribed Topological Substructures Based on Integer Programming | IEEE Journals & Magazine | IEEE Xplore