The researchers have introduced BDD and SAT engine for manipulating Boolean function to alleviate the explosion problem.

• 学术界先后提出采用二叉判定图(BDD)和可满足性问题(SAT)作为布尔操作的引擎来缓解爆炸问题。