电脑体验，效果更佳

合取范式图谱-自然科学领域：

研究人员

余丰人 黄文奇 闫炜 丘海明 赵孝武 陈慕昌 颜萍 吴尽昭 高新岩 郭瑞标 刘歆

相关术语

可满足性 模糊函数 等价性验证 设计验证 势函数 逻辑电路 析取范式 合取项 势能函数 算法 SAT问题 矢量 析取项 表现法 变量划分 梯度算法 符号模拟 布尔可满足性 联结词的完备集 fork 联结词 NP完全问题 SAT

标签云