高级检索

    结合DOEC极小化策略的SAT求解极小碰集方法

    王荣全 欧阳丹彤 王艺源 刘思光 张立明

    王荣全, 欧阳丹彤, 王艺源, 刘思光, 张立明. 结合DOEC极小化策略的SAT求解极小碰集方法[J]. 计算机研究与发展, 2018, 55(6): 1273-1281. doi: 10.7544/issn1000-1239.2018.20160809
    引用本文: 王荣全, 欧阳丹彤, 王艺源, 刘思光, 张立明. 结合DOEC极小化策略的SAT求解极小碰集方法[J]. 计算机研究与发展, 2018, 55(6): 1273-1281. doi: 10.7544/issn1000-1239.2018.20160809
    Wang Rongquan, Ouyang Dantong, Wang Yiyuan, Liu Siguang, Zhang Liming. Solving Minimal Hitting Sets Method with SAT Based on DOEC Minimization[J]. Journal of Computer Research and Development, 2018, 55(6): 1273-1281. doi: 10.7544/issn1000-1239.2018.20160809
    Citation: Wang Rongquan, Ouyang Dantong, Wang Yiyuan, Liu Siguang, Zhang Liming. Solving Minimal Hitting Sets Method with SAT Based on DOEC Minimization[J]. Journal of Computer Research and Development, 2018, 55(6): 1273-1281. doi: 10.7544/issn1000-1239.2018.20160809

     

                     

                  

                         

                     

                        

    •  
    •  
    •  
    •  
    •  
    •  
    •  

    /

    返回文章
    返回