boolean optimization

基本解释

In this paper, optimization is considered when the Boolean equations are established, and a concise and efficient algorithm for timing optimization is presented.
本文从另一个角度，即如何建立布尔方程以利于下一步的简化方面着手，提出了一个简洁、快速的节拍划分优化算法。
(This is an optimization: it would be possible to use a straightforward evaluate() call and then convert the result to a Boolean, as described in the specification.
这是一个优化：可以使用直接的 evaluate() 调用，然后将结果转换成一个布尔值，如规范中所描述的那样。
But if you know it's a differentiation problem or a convex optimization problem or a boolean logic problem then you at least know where to start looking for the solution.
但如果你知道这是个变异的问题，或者是一个凸优化问题，或者一个布尔的逻辑问题，然后你起码能知道从哪着手开始寻找解决方案。