共 11 条
[1]
An improved model-based method to test circuit faults.[J].Xiaochun Cheng;Dantong Ouyang;Jiang Yunfei;Chengqi Zhang.Theoretical Computer Science.2005, 1
[2]
[3]
[4]
Deriving all minimal consistency-based diagnosis sets using SAT solvers.[J]..Progress in Natural Science.2009, 04
[5]
[6]
[7]
[8]
[9]
[10]

