收缩候选回溯集的有状态动态偏序归约方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

赵璐,张健沛,杨静

Stateful Dynamic Partial-order Reduction Method of Shrinking Candidate Backtrack Set

ZHAO Lu,ZHANG Jianpei,YANG Jing

计算机工程 . 2015, (5): 70 -76 . DOI: 10.3969/j.issn.1000-3428.2015.05.012