1.
Model Checking and Boolean Satisfiability Problem;
模型检验及其布尔可满足问题的研究
2.
A Local Search Algorithm for the Boolean Unsatisfiable Subformulae Extraction
一种求解布尔不可满足子式的局部搜索算法
3.
Survey on Solving SAT Problems in EDA
EDA领域中可满足性问题求解方法研究
4.
Exponential Time Algorithms of Knapsack and Constraint Satisfaction Problem;
背包问题和约束可满足性问题的指数时间算法
5.
The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
6.
No problem Social Bookmarking and Tagging both have this covered for you
没有问题，社会化书签和标签就可以满足你。
7.
Research and Implementation of an All-Solution SAT Solver
对可满足性（SAT）问题求全解的算法研究及实现
8.
Solving the Satisfiability Problems with Evolutionary Negative Selection Algorithms
基于进化非选择算法的可满足性问题求解
9.
Distributed constraint satisfaction problem and its application to multi-agent system task allocation
分布式约束满足问题及其在MAS任务分配中的应用
10.
took the easy way out of her problems;wasn't satisfied with easy answers.
轻松地解决了她的问题；不满足于轻易可取的答案
11.
The problem of your shortage of foreign exchange can be resolved while the urgent reqirements of both sides can be met.
桂:这样既可以满足各自的急需，同时也解决了你们外汇短缺的问题。
12.
Analysis on Spectrum Characteristic of Boolean Functions Satisfying k-strengthened Propagation Criterion
满足k次强扩散准则的布尔函数谱特征分析
13.
Meliville was not content with mere comedy, even of the most mocking sort.
梅尔维尔并不以逗乐为满足，不管它有多可笑。
14.
Uniformly Lipschitz Optimal Feedback Control Problems;
满足一致Lipschitz条件的最优反馈控制问题
15.
Research on Relay Satellite Scheduling Problem with CSP;
基于约束满足问题的中继卫星调度问题研究
16.
The application of DCSP and optimization presents a new vision for VEpartner selection.
分布式约束满足和优化方法的应用，为解决虚拟企业伙伴选择问题提供了一种新思路。
17.
The question is what are they unhappy about and how to deal with this "discontent".
问题是，他们不满足的是什么？ 如何处理这个“不满足”？
18.
Bell could have been content with this, but he was an ambitious man.
贝尔大可就此满足，不过他是个有雄心壮志的人。