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]

Abstract

Abstract is missing.