基于多线程技术的分辨函数析取范式生成算法
蒙祖强, 周石泉, 黄柏雄
Disjunction Normal Form Generation Algorithm of Discernibility Function Based on Multi-thread Technology
MENG Jie-Jiang, ZHOU Dan-Quan, HUANG Bai-Xiong
计算机工程
.
2013, (1): 45
-48
.
DOI: 10.3969/j.issn.1000-3428.2013.01.009