1) MAX-k-SAT problem
MAX-k-SAT问题
3) (k,s)-SAT problem
(k,s)-SAT问题
4) SAT problem
SAT问题
1.
Quantum cooperative immune algorithm for SAT problems
量子协同免疫算法用于SAT问题的求解
2.
Due to the complexity of the SAT problem, the speed of solving the SAT problem with software method is very slow.
针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想。
3.
A novel algorithm,SAT-SAGA,is proposed for solving SAT problems based on the combination of the genetic algorithm and simulated annealing algorithm.
提出一种将遗传算法与模拟退火算法相结合的SAT问题求解算法SAT-SAGA。
5) 3-SAT problem
3-SAT问题
1.
A New Method for Solving 3-SAT Problems;
一种求解3-SAT问题的新方法
2.
A genetic algorithms for 3-SAT problem determinant
基于遗传算法的3-SAT问题判定
3.
Finaly,the 3-SAT problem be solved by DNA computing method.
本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。
6) satisfiability problem
SAT问题
1.
The NP-hard problems such as SAT (the propositional satisfiability problem) are long-term issues in the research of computer algorithms and theory.
传统的求解 SAT问题的随机算法主要是对满足解进行搜索 ,在找不到满足解的情况下 ,则无法正确判断问题的可满足性 。
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条