It compared several algorithms of SAT solvers and selected the algorithm with higher efficiency and better suitability for all-solution SAT solver.
对可满足性求解器算法进行比较，从中选择了效率较高且适用于全解求解器的算法。
The government expressed hope that all the sides will work toward a political solution.
该政府希望所有各方致力于一个政治解决方案。
One possible solution, if all else fails, is to take legal action.
如果其他方案都不行，一个可能的解决办法就是提起诉讼。
You would take things as they came. All you had to do was think a little harder and come up with a new solution.
既来之, 则安之，你必须多动脑子，想出个新的解决方法来。
The solution turned out to be advertising, and it's not an exaggeration to say that Google is now essentially an advertising company, given that that's the source of nearly all its revenue.
最终的解决方案是做广告；并且毫不夸张地说，谷歌现在本质上是一家广告公司，因为这几乎是它所有收入的来源。
Another solution, which is proposed much later, was that perhaps the young Sun wasn't faint at all, perhaps it was bright.
后来提出的另一个解决方案是，也许早期的太阳一点也不暗，也许它很亮。
Any solution must be acceptable to all sides.
任何解决方案都必须使各方能接受。
We want a political solution that is acceptable to all parties.
我们需要一个各方都可接受的政治解决方案。
The solution—make a detailed record of where all your money goes now, then study it carefully.
解决方案——现在详细记录你的钱都花到哪里去了，然后仔细研究。
But not all schools show advances after downsizing, and it remains to be seen whether smaller schools will be a cure-all solution.
但并不是所有的学校在缩减规模后都取得了进步，规模较小的学校是否能解决所有问题还有待观察。
The solution: make a detailed record of where all your money goes now; then study it carefully.
解决方案是：详细记录你的钱现在花在哪方面，然后仔细研究。
That doesn't mean GM crops are perfect, or a one-size-fits-all solution to global agriculture problems.
这并不意味着转基因作物是完美无瑕的，或者它是全球农业问题一刀切的解决方案。
Not all schools show advances after downsizing, and it remains to be seen whether smaller schools will be a cure-all solution.
并不是所有的学校在缩减规模后都取得了进展，规模较小的学校能否成为解决所有问题的灵丹妙药，这还有待观察。
If you look at all sides of the situation, you'll find probably a solution that suits everyone.
如果你从各个方面看问题，你可能会找到一个适合每个人的解决方案。
The cause of, and solution to, all of life's problems.
这个生活中制造所有麻烦又解决所有问题的东西。
All the solution architecture domains shown in Figure 1 are considered "technical," as their scope includes various elements of technology, such as software, data, and it infrastructure.
图1中展示的所有解决方案架构领域被看作是“技术性的”，因为它们的范围内包括各种技术元素，例如，软件、数据和IT基础架构。
Not all issues are covered by this solution.
这个解决方案并不能解决所有问题。
The "clever" solution is, in fact, no solution at all.
“聪明的”解决方案实际上是根本没有解决方案。
It is impeding all avenues for a solution.
它正在妨某个解决方案中的所有途径。
Or, if a faulty administrative change was made for one solution, causing an entire process to crash or hang, then all solution components hosted by that same process will crash or hang too.
或者，如果针对一个解决方案进行了一个错误的管理更改，导致整个进程崩溃或挂起，则那个进程托管的所有解决方案组件也会崩溃或挂起。
This quick "solution" has one problem: It's really no solution at all.
这种快速“解决方案”有一个问题：那就是它根本没有解决任何问题。
APP itself is not a be-all and end-all solution.
APP本身并不是一个包罗万象的终极解决方案。
Step 2: Identify all existing solution components.
第2步：找出现有解决方案的所有组件。
There is a simple solution to all of this.
有一个简单的解决办法可以搞定这一切。
Could it be there's a single solution to all of these problems?
能有个单一解决所有这些问题的方案吗？
Acknowledge the problem but be all about the solution.
承认问题的存在，但是要关注于解决的方法。
The files that belong to the problem solution are all covered 100%.
那些属于问题解决方案的文件都被100%覆盖了。
While the command-line solution is easy and fun, it's not the be all, end all solution.
虽然命令行的解决方案简单有趣，但它并不是所有问题的最终解决方案。
It is difficult to provide a one-size fits all solution for these companies, but I have found a number of ways to help the customer resolve the sizing problem.
很难找到一个单一的解决方法来满足所有的这些公司，但是我总结了一些方法来帮助客户解决大小(估算)问题。
Groups provide a declarative solution for all those use case.
组为这些用例提供了一个声明性的解决方案。
应用推荐