关于布尔方程组不动点的计算
On computing the fixpoint of a set of boolean equations
摘要：
本文给出了一种求布尔型方程组最小不动点的方法。所得到的计算可以比迭代地评估整个系统直到达到固定点的结果短得多。
英文摘要：
This paper presents a method for computing a least fixpoint of a system of equations over booleans. The resulting computation can be significantly shorter than the result of iteratively evaluating the entire system until a fixpoint is reached.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
