2024年8月19日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
可满足性判定
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
常亮
作品数:305
被引量:694
H指数:14
供职机构:桂林电子科技大学
研究主题:描述逻辑 三元组 谱表示 知识图 景点
古天龙
作品数:482
被引量:1,399
H指数:16
供职机构:桂林电子科技大学
研究主题:OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
张海宾
作品数:39
被引量:23
H指数:3
供职机构:西安电子科技大学
研究主题:区间时序逻辑 时序逻辑 可满足性判定 虚拟机 形式化验证
周清雷
作品数:158
被引量:393
H指数:9
供职机构:郑州大学
研究主题:时间自动机 FPGA 图形处理器 自动机 安全协议
朱维军
作品数:60
被引量:123
H指数:5
供职机构:郑州大学
研究主题:自动机 防御 拟态 时间自动机 时序逻辑
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张