电脑体验，效果更佳

Boolean可满足性问题（SAT）图谱-计算机领域：

研究人员

吕涛 李华伟 李晓维 赵阳

相关术语

寄存器传输级（RTL） 无界模型检验 设计验证

标签云