搜索到 篇“ SATISFIABILITY “的相关文章

相关作者

吴为民
作品数：33被引量：67H指数：4
供职机构：北京交通大学计算机与信息技术学院计算机工程系
研究主题：可满足性 PLACEMENT 集成电路 寄存器传输级 INCREMENTAL
陈戈珩
作品数：54被引量：160H指数：7
供职机构：长春工业大学计算机科学与工程学院
研究主题：课程体系 DSP 多跳 广播协议 广播
赵宗涛
作品数：110被引量：485H指数：11
供职机构：第二炮兵工程学院计算机系
研究主题：航迹规划 巡航导弹 PETRI网 信息系统 地形分析
虞蕾
作品数：16被引量：51H指数：4
供职机构：第二炮兵工程学院计算机系
研究主题：航迹规划 地形分析 PSL 巡航导弹 遗传算法
高济
作品数：160被引量：971H指数：18
供职机构：浙江大学计算机科学与技术学院
研究主题：AGENT 人工智能 本体论 多AGENT系统 移动性管理