The researchers have introduced BDD and SAT engine for manipulating Boolean function to alleviate the explosion problem.
英
美
学术界先后提出采用二叉判定图(BDD)和可满足性问题(SAT)作为布尔操作的引擎来缓解爆炸问题。
目录
查词历史
英 汉