"二元决策图（英语：bin decision diagram

正文

二元决策图（英语：binary decision diagram, BDD)是被用来表达一个布尔函数的一种数据结构。

Warning: Undefined array key "ReferenceList" in /www/wwwroot/wosha.com/id.php on line 495

Warning: foreach() argument must be of type array|object, null given in /www/wwwroot/wosha.com/id.php on line 495