赵长虹 荆明娥 周电 陈更生 唐璞山 林智勇 王防修 刘朔 周康 唐屹 董笑菊 戚正伟 张民 郝志峰 刘海 魏传佳

基子句 删除实验 随机游走 过滤算法 中介逻辑 原子命题 分布式问题求解 学习 局部搜索 加权 析取范式 重写逻辑 正交子句 活性细胞膜计算 卡诺图 分解为 NP完全问题 接入实验 闭环DNA计算模型 合式公式 离散Lagrange方法