A Polynomial Time Algorithm for Counting the Number of Independent Sets of Cactus Graphs | IEEE Conference Publication | IEEE Xplore