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.
本文從另一個角度，即如何建立布爾方程以利于下一步的簡化方面著手，提出了一個簡潔、快速的節(jié)拍劃分優(yōu)化算法。
(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.
這是一個優(yōu)化：可以使用直接的 evaluate() 調用，然后將結果轉換成一個布爾值，如規(guī)范中所描述的那樣。
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.
但如果你知道這是個變異的問題，或者是一個凸優(yōu)化問題，或者一個布爾的邏輯問題，然后你起碼能知道從哪著手開始尋找解決方案。