可满足性模理论(SMT)相关论文
机组排班是航空公司运营计划非常重要的一个环节,合理的机组排班可以为航空公司省下一大笔机组成本支出,从而增加航空公司的收益.......
期刊
SMT问题是在特定理论下判定一阶逻辑公式可满足性问题。它在很多领域,尤其是形式验证、程序分析、软件测试等领域,都有重要的应用......
现场可编程逻辑门阵列(FPGA, Field Programmable Gate Array),是个含有可编辑元件的半导体设备,可供使用者现场程式化逻辑门阵列......