Resource Cut, a New Bounding Procedure to Algorithms for Enumerating Tree-Like Chemical Graphs | IEEE Journals & Magazine | IEEE Xplore