1)SAT problemSAT问题
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。
英文短句/例句
1.MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM求解SAT问题的分级重排搜索算法
2.Seif-Assembly Algorithm of 3-SAT in DNA Computing;DNA计算中的3-SAT问题的自装配算法
3.Linear Semidefinite Programming Algorithm for SAT Problem求解SAT问题的线性半定规划算法
4.A genetic algorithms for 3-SAT problem determinant基于遗传算法的3-SAT问题判定
5.Quantum cooperative immune algorithm for SAT problems量子协同免疫算法用于SAT问题的求解
6.A improved algorithm for Solving weighted MAX-SAT problems一个求解加权MAX-SAT问题的改进算法
7.3- SAT Problem Code design and Result of the Evaluation Function;3-SAT问题的编码设计及评估函数值的求解
8.Genetic Algorithm and Discrete Particle Swarm Algorithm in the Application of SAT Problem遗传算法与离散粒子群算法在SAT问题上的应用
9.An Evolutionary Algorithm for Solving SAT Problems Based on Learning CNF Weights基于CNF权重学习求解3-SAT问题的进化算法
10.The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
11.GA Solution of 3-SAT based on Clustering Ranking Selection基于聚类排序选择方法求解3-SAT问题的遗传算法
12.Research and Implementation of an All-Solution SAT Solver对可满足性（SAT）问题求全解的算法研究及实现
13.But the SAT folks have added a single question, to be answered in an essay, hand-written on the spot.但SAT当局加了一个问题，这种题目是要以论文写作方式回答，而且要当场用手写。
14.I was never tutored in anything and walked into the SATs without having seen a sample SAT question.我从没有过任何辅导，是没有看过一道模拟SAT题走进考场。
15.Equivalence of PTAS Reduction for MAX-k-SATMAX-k-SAT的PTAS归约等价性
16.The Bounds of Critical Function for (k,s)-SAT;关于（k，s）-SAT临界函数上下界的研究
17.Research of the #SAT Approximate Solvers Based on Extension Rule;基于扩展规则的#SAT近似求解器的研究
18.Study on the Formal Verification Methods in BDD and SAT;基于BDD和SAT的形式验证方法的研究
相关短句/例句
satisfiability problemSAT问题
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)3-SAT problem3-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问题。
4)MAX-SAT problemMAX-SAT问题
5)(k,s)-SAT problem(k,s)-SAT问题
6)2-ASAT problemAlmost 2-SAT问题
1.Techniques used in the FPT algorithm for parameterized 2-ASAT problem are iterative compression and branch.本文通过对给定的2-CNF表达式F中同一路由上的相邻子句进行组合分析,细化分支处理,对参数化的带单个字符的2-ASAT问题(2-ASLASAT问题)提出了一个运行时间为O~*(5~k)的确定型参数算法,从而可用于参数化Almost 2-SAT问题的求解。
延伸阅读
《抗日时期的经济问题和财政问题》 毛泽东论述经济和财政的关系，以及发展陕甘宁边区经济建设的著作。1942年12月,毛泽东以《经济问题与财政问题》为题，在陕甘宁边区高级干部会议上作了一个长篇报告。本文是报告中的第一个问题，原题是《关于过去工作的基本总结》，在编入人民出版社1953年出版的《毛泽东选集》第三卷时改为今题。 当时陕甘宁边区和敌后各抗日根据地在财政上遇到极大困难。由于日本侵略军的野蛮进攻和国民党的包围封锁，军队、机关干部和学校人员，缺少最必需的生活用品。毛泽东为了给解决财政困难指明前途，作了这篇报告。 本文论述了十个问题。文中着重阐明了经济和财政的关系；发展陕甘宁边区经济应遵循的原则和应发展的各项生产事业。 发展经济，才能解决财政困难 毛泽东指出,为了解决当时的财政困难，有些同志企图缩小必不可少的开支。他们不理解发展经济、保障供给，是我们的经济工作和财政工作的总方针。有许多同志片面地看重了财政，不懂得整个经济工作的重要性。财政工作固然很重要，但决定财政的却是经济。为了发展经济，在陕甘宁边区建立和发展了公营经济。边区政府办了许多自给工业；军队进行了大规模的生产运动；发展了以自给为目标的农业和工业；几万机关和学校人员，发展了同样的自给性经济。敌后各抗日根据地也都开展了大生产运动。 帮助群众发展经济 毛泽东指出，人民群众为了抗日和建国的需要，多负担一些经费是应该的，也得到了人民的谅解。但必须使人民的经济有所增长，使人民的生产有所发展，也就是对人民的农业、畜牧业、手工业、盐业和商业，要采取帮助其发展的适当步骤和办法，帮助人民发展经济，在发展生产的基础上，增加人民的收入，使人民所得大于所失。 在公私关系上，毛泽东认为，应是"公私兼顾"或"军民兼顾"。向人民征收抗日经费，既不能不顾战争的需要，片面强调政府应施"仁政"；又不能不顾人民的困难，竭泽而渔。 精兵简政 在陕甘宁边区的高级干部会议后,陕甘宁边区和各抗日根据地都实行了"精兵简政"。按照"精兵简政"工作的要求必须达到精简、统一、效能、节约和反对官僚主义五项目的。精简，就是减去不必要的机构和人员；统一，就是建立统一的、指挥如意的、使政策和制度能够贯彻到底的工作系统；效能，就是提高工作效率；节约，就是节省一切不必要的支出。在经济和财政工作中，还要求克服官僚主义，反对贪污现象。 在本文所阐述的理论指导下，陕甘宁边区和各抗日根据地的生产事业得到了发展，克服了当时在财政经济上遇到的严重困难，提高了军队、机关、团体、学校人员和广大群众的物质生活条件，从物质上保证了抗日战争的胜利。
