It compared several algorithms of SAT solvers and selected the algorithm with higher efficiency and better suitability for all-solution SAT solver.
对可满足性求解器算法进行比较，从中选择了效率较高且适用于全解求解器的算法。
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.
后来提出的另一个解决方案是，也许早期的太阳一点也不暗，也许它很亮。
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.
如果你从各个方面看问题，你可能会找到一个适合每个人的解决方案。
Once again, you can examine all the benefits that this solution gives you.
您可以再次检查这个方案给予您的所有利益。
One solution is to funnel all the access to widgets/selection objects through the window.
一种解决方案是让所有对窗口小部件／选择对象的访问都经过窗口。
But there's a scientist in Brooklyn, N.Y., who says he has a solution to all of these 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基础架构。
Businesses have so many small needed that it is impossible for an it department to come up with a cohesive solution to all needs.
业务部门可能会有很多小需求，IT部门不可能提供一套完整的解决方案来满足所有的需求。
Of course, some might call this lazy programming, and it isn't necessarily the best solution for all use cases.
当然，有人会称它为懒惰编程，它也不是对所有用例都适用的最佳解决方案。
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.
或者，如果针对一个解决方案进行了一个错误的管理更改，导致整个进程崩溃或挂起，则那个进程托管的所有解决方案组件也会崩溃或挂起。
These objectives are valid for all parts of an SOA solution regardless of technology and implementation choices.
无论SOA解决方案采用什么技术和实现，这些都是它们的目标。
First, the format needed a generic solution for all partners, not a schema specific to a single vendor.
首先，格式需要一个面向所有合作伙伴的通用解决方案，而不是针对某一个供应商的方案。
We shouldn't be under any illusion that making petrol from cellulose is a solution to all the problems of the first generation of biofuels.
我们不应该遐想从纤维素中提取燃油就能一次过解决第一代生物燃油所带来的一切问题。
This was, after all, the third "comprehensive solution" devised by the euro zone so far this year.
毕竟，这是欧元区今年以来制定的第三个“综合解决方案”。
The most radical solution of all is a new global currency that could be used in international transactions and would float alongside domestic currencies.
最为根本的解决方法是一种全新的全球性货币的出现，其可以用来进行国际交易并随着国内货币浮动。
APP itself is not a be-all and end-all solution.
APP本身并不是一个包罗万象的终极解决方案。
If iteration is a bunch of steps leading to a solution, recursion is like piling all of those steps on top of each other and then quashing them all into the solution.
如果说迭代是逐个解决一大堆步骤的话，递归就是把所有步骤堆起来一次性解决。
Despite its advantages, CentOS might not be the best solution in all deployment scenarios.
尽管它有优势，CentOS的可能不是所有部署方案中的最佳解决方案。
Step 2: Identify all existing solution components.
第2步：找出现有解决方案的所有组件。
If you say it is a solution against what Apple offers today, it is also a solution against all of the other competition.
如果你硬要说这个结果是为了与今日苹果的产品所抗衡，那么它同样是与其他对手的对抗。
While the command-line solution is easy and fun, it's not the be all, end all solution.
虽然命令行的解决方案简单有趣，但它并不是所有问题的最终解决方案。
The flows can also vary in reusability from unique to a single interaction to applicable to all interactions in a solution or even across solutions.
中介流还可以具有不同的可重用性，从特定于单个交互，到适用于某个解决方案中甚至跨解决方案的所有交互。
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.
很难找到一个单一的解决方法来满足所有的这些公司，但是我总结了一些方法来帮助客户解决大小(估算)问题。
应用推荐