1.
Model Checking and Boolean Satisfiability Problem;
模型检验及其布尔可满足问题的研究
2.
Survey on Solving SAT Problems in EDA
EDA领域中可满足性问题求解方法研究
3.
Exponential Time Algorithms of Knapsack and Constraint Satisfaction Problem;
背包问题和约束可满足性问题的指数时间算法
4.
The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
5.
No problem Social Bookmarking and Tagging both have this covered for you
没有问题，社会化书签和标签就可以满足你。
6.
Research and Implementation of an All-Solution SAT Solver
对可满足性（SAT）问题求全解的算法研究及实现
7.
Solving the Satisfiability Problems with Evolutionary Negative Selection Algorithms
基于进化非选择算法的可满足性问题求解
8.
took the easy way out of her problems;wasn't satisfied with easy answers.
轻松地解决了她的问题；不满足于轻易可取的答案
9.
The problem of your shortage of foreign exchange can be resolved while the urgent reqirements of both sides can be met.
桂:这样既可以满足各自的急需，同时也解决了你们外汇短缺的问题。
10.
Uniformly Lipschitz Optimal Feedback Control Problems;
满足一致Lipschitz条件的最优反馈控制问题
11.
Research on Relay Satellite Scheduling Problem with CSP;
基于约束满足问题的中继卫星调度问题研究
12.
The question is what are they unhappy about and how to deal with this "discontent".
问题是，他们不满足的是什么？ 如何处理这个“不满足”？
13.
Question3: right. Maybe another reason why some people are keeping rarely seen animal as pet is to satisfy their vanity?
问题3：是啊。可能一些人饲养这些少见动物当宠物是为了满足他们的虚荣心？
14.
This is a long-term issue; the firm may be willing to give up some profits in the short run to be in the channel that can meet changing needs.
这是一个长远的问题，公司愿意放弃一些眼前利益，进入可以满足变化需要的管道。
15.
Then we can make a plan to ensure them that our product can meet their requirement with no problem .
然后，我们可以制定一个使观众和听众确信我们的产品能够毫无问题地满足他们的需求的计划。
16.
There is no walk satisfying the conditions of the K??igsberg bridge puzzle.
不存在满足哥尼斯堡桥问题的条件的通道。
17.
The Research on DCSP and Its Application to the Resource Allocation Problem
动态约束满足及其在资源调度问题中的应用
18.
Research on Job Shop Scheduling Problems Based on Constraint Satisfaction Technology;
基于约束满足技术的作业车间调度问题研究