Complexity of computing convex subgraphs in custom instruction synthesisJoseph ReddingtonKubilay Atasu2012IEEE Transactions on VLSI Systems