A halting algorithm to determine the existence of decoder.

ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li

Browse the full FMCAD paper archive.