搜索资源列表
pkyukuyrar
- 关系型数据库---第一范式sfsdfsd---- First normal form relational database sfsdfsd
whgjgjgj
- 关系型数据库---第一范式sdfwerwe---- First normal form relational database sdfwerwe
wrewrewr
- 关系型数据库---第一范式sdfsdfa---- First normal form relational database sdfsdfa
zchaff.2004.11.15
- ZChaff SAT solver是一个验证电路节点蕴涵关系的工具,它需要将电路描述转换成合取范式格式(Conjunctive Normal Form,CNF)。-ZChaff SAT solver is a test circuit nodes contain relationship tool, it needs to transform circuit descr iption into Conjunctive Normal Form format (Conjunctive Normal