高级检索

    结合互补度的基于扩展规则#SAT问题求解方法

    欧阳丹彤 贾凤雨 刘思光 张立明

    欧阳丹彤, 贾凤雨, 刘思光, 张立明. 结合互补度的基于扩展规则#SAT问题求解方法[J]. 计算机研究与发展, 2016, 53(7): 1596-1604. doi: 10.7544/issn1000-1239.2016.20150032
    引用本文: 欧阳丹彤, 贾凤雨, 刘思光, 张立明. 结合互补度的基于扩展规则#SAT问题求解方法[J]. 计算机研究与发展, 2016, 53(7): 1596-1604. doi: 10.7544/issn1000-1239.2016.20150032
    Ouyang Dantong, Jia Fengyu, Liu Siguang, Zhang Liming. An Algorithm Based on Extension Rule For Solving #SAT Using Complementary Degree[J]. Journal of Computer Research and Development, 2016, 53(7): 1596-1604. doi: 10.7544/issn1000-1239.2016.20150032
    Citation: Ouyang Dantong, Jia Fengyu, Liu Siguang, Zhang Liming. An Algorithm Based on Extension Rule For Solving #SAT Using Complementary Degree[J]. Journal of Computer Research and Development, 2016, 53(7): 1596-1604. doi: 10.7544/issn1000-1239.2016.20150032

     

                     

                  

                         

                     

                        

    •  
    •  
    •  
    •  
    •  
    •  
    •  

    /

    返回文章
    返回