摘要: 2011年的书,更像是论文集,不同章的作者不同,好多亚洲名字。1 IntroductionSunil P. Khatri and Kanupriya Gulati1.1 Logic Decomposition1.2 Boolean Satisfiability1.3 Boolean Matching 阅读全文
posted @ 2021-12-30 18:29 华容道专家 阅读(114) 评论(0) 推荐(0)