A Problem Decomposition-Based Approach to the Boolean Function Minimization

• 一个基于问题分解的布尔函数极小化方法