Ouyang Dan-tong

Computing Minimal Hitting Sets with Genetic Algorithm

Ouyang Dan-tong, Ouyang Dan-tong, 2006 .

Kernel model-based diagnosis

Ouyang Dan-tong, Ouyang Dan-tong, 2002 .

The Parallel Theorem Proving Algorithm Based on Semi- Extension Rule

Bai Hongtao, Zhang Liming, Zhao Jian, 2010 .

Model diagnosis based on failure behavior

Ouyang Dan-tong, 2008 .