Tao Li Zhigang Sun Wu Jigang Xicheng Lu Fast enumeration of maximal valid subgraphs for custom-instruction identification. 29-36 2009 CASES http://doi.acm.org/10.1145/1629395.1629402 conf/cases/2009 db/conf/cases/cases2009.html#LiSJL09