QBF是SAT的泛化，它可以对状态空间较大的一致性规划问题求解。
QBF is a generalization of SAT, it can solve consistency planning with large state space.
最近，一些相当不错的文档编写人员加入我们的项目，他们积极主动地参与文档的结构规划、撰写和编辑工作，以保持文档的一致性和可读性。
More recently, we've had some really good documentation people join the project, and they've taken the lead in structuring, writing, and editing the documentation so that it's consistent and readable.
列文和莱顿发明的是一种被称作“一致性哈希”的数学规划，这可以从根本上提高进程的速度。
What Lewin and Leighton invented was a mathematical scheme called "consistent hashing" that radically sped up the process.
应用推荐