A METHOD OF SIMPLIFING BOOLEAN SPACE WITH THE HEURISTIC SEARCHING

• 一种化简布尔空间的启发式搜索方法