电脑体验，效果更佳

极小布尔不可满足子式图谱-计算机领域：

研究人员

邵明 李光辉 李晓维

相关术语

形式验证 布尔可满足问题

标签云