颜波 李晓维 李光辉 谢存禧 孙守迁 曾松伟 王鑫 张铁

功能验证 电路宽度 二叉判定图 模拟 布尔可满足性 局部搜索算法 二叉判决图 设计验证

浙江林学院信息系 中国科学院研究生院 青岛建工学院机电系 浙江林学院信息工程学院 中国科学院计算技术研究所 中国科学院计算技术研究所信息网络室 北京100080中国科学院研究生院北京 中国科学院计算技术研究所信息网络研究室