Added misc/ISGCI-JGraphT.pdf/tex