搜索到 篇“ 可满足性判定 “的相关文章

相关作者

常亮
作品数：305被引量：694H指数：14
供职机构：桂林电子科技大学
研究主题：描述逻辑 三元组 谱表示 知识图 景点
古天龙
作品数：482被引量：1,399H指数：16
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
张海宾
作品数：39被引量：23H指数：3
供职机构：西安电子科技大学
研究主题：区间时序逻辑 时序逻辑 可满足性判定 虚拟机 形式化验证
周清雷
作品数：158被引量：393H指数：9
供职机构：郑州大学
研究主题：时间自动机 FPGA 图形处理器 自动机 安全协议
朱维军
作品数：60被引量：123H指数：5
供职机构：郑州大学
研究主题：自动机 防御 拟态 时间自动机 时序逻辑