A Halting Algorithm to Determine the Existence of the Decoder.

ShengYu Shen Ying Qin LiQuan Xiao KeFei Wang Jianmin Zhang Sikun Li A Halting Algorithm to Determine the Existence of the Decoder. 1556-1563 2011 30 IEEE Trans. on CAD of Integrated Circuits and Systems 10 http://dx.doi.org/10.1109/TCAD.2011.2159792 db/journals/tcad/tcad30.html#ShenQXWZL11