可满足问题相关论文
约束满足问题是计算机科学、数学和物理学等多个学科的热点研究问题,命题公式的可满足性问题（The Satisfiability Problem,SAT）是最......
可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得合取范式公式中每个子句至少有一个文字为真。多文字可满足SAT问题是指:是否......
在现有基于冲突学习子句的求解器中,频繁重启和变量相位存储技术的应用,导致重启之后产生大量重复变量赋值序列,在求解过程中对变......
研究了非确定有限自动机的最短D1-同步字的计算问题.针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D......
DNA自组装技术在DNA计算和纳米技术领域都发挥着极其重要的作用,许多小规模NP完全问题都可以通过自组装模型得以解决.文中以可满足......
一种研究DNA计算的新模型--三链DNA计算模型在本文中提出.此模型是在近年三链核酸的研究成果的基础上建立的.并应用于求解可满足性......
