A novel algorithm to solve the minimal hitting sets in MBD. - Jianfang Xu; Zhigang Liu 001; Chenxi Dai (FUZZ-IEEE, 2014)