广西民族大学学报（自然科学版）2016，Vol.22Issue(1)：78-82,5.
可满足模理论在软硬件划分领域的应用
A Satisfiability Modulo Theories Method For Software And Hardware Division
摘要
关键词
软硬件协同设计/软硬件划分/可满足模理论/可满足模理论求解器分类
信息技术与安全科学引用本文复制引用
毛乐乐,胡小勤,卢晨..可满足模理论在软硬件划分领域的应用[J].广西民族大学学报（自然科学版）,2016,22(1):78-82,5.基金项目
广西民族大学研究生教育创新计划(gxun-chxs2015097). （gxun-chxs2015097）
