2018年8月7日
证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
摘要： 0x01 布尔代数(Boolean algebra) 大名鼎鼎鼎的stephen wolfram在2015年的时候写了一篇介绍George Boole的文章： "George Boole: A 200 Year View" 。 怎样用数学公理重新表达经典逻辑？George Boole在19世纪的时候 阅读全文
posted @ 2018-08-07 17:38 ffl 阅读(5531) 评论(0) 推荐(2) 编辑