搜索筛选:
搜索耗时0.6604秒,为你在为你在102,267,441篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：GUO Ping,JI Jinfang,CHEN Haizhu,LIU Ran,,
来源：Chinese Journal of Electronics 年份：2015
The satisfiability problem(SAT) is a well known NP-complete problem. Obtaining All of the truth assignments of SAT is called All-SAT and it has numerous applica...
[期刊论文] 作者：GUO Ping,JI Jinfang,CHEN Haizhu,LIU Ran,,
来源：Chinese Journal of Electronics 年份：2014
Boolean and relational operations, which are defined for solving mathematically logical problems,are always required in computing models. Membrane computing is...
相关搜索：
