Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme.
英
美
- 摘要在基于逻辑电路的布尔推理过程中,经常用到二叉判决图(BDD)与布尔可满足性(SAT)相结合的算法。