“…On the other hand, many non-exact algorithms [4,[13][14][15][16]18,23,24,[26][27][28][29][30][31][32][33]36] have been proposed to find a short AC. In these algorithms, the length of the generated AC is not necessarily minimal and the algorithms run in polynomial time.…”