SAT-Based Algorithm of Verification for Port Order Fault

Ming Shao, Guanghui Li, Xiaowei Li. SAT-Based Algorithm of Verification for Port Order Fault. In 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China. pages 478-481, IEEE Computer Society, 2003. [doi]

Authors

Ming Shao

This author has not been identified. Look up 'Ming Shao' in Google

Guanghui Li

This author has not been identified. Look up 'Guanghui Li' in Google

Xiaowei Li

This author has not been identified. Look up 'Xiaowei Li' in Google