发布文献求助

Relational Network Verification

计算机科学
作者
Xieyang Xu,Yifei Yuan,Zachary Kincaid,Arvind Krishnamurthy,Ratul Mahajan,David Walker,Ennan Zhai
链接
arxiv.org arxiv.orgdoi.org
标识
DOI：10.1145/3651890.3672238
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
聚甲烯吡络烷酮完成签到，获得积分10
4秒前
可耐的思远完成签到 ，获得积分10
5秒前
米里迷路完成签到 ，获得积分10
8秒前
星光完成签到 ，获得积分10
10秒前
依人如梦完成签到 ，获得积分10
10秒前
16秒前
Sober完成签到 ，获得积分10
21秒前
Wang发布了新的文献求助10
22秒前
xiaofeng5838完成签到，获得积分10
25秒前
Lotus完成签到，获得积分10
25秒前
平常雨泽完成签到 ，获得积分10
28秒前
聪慧语山完成签到 ，获得积分10
44秒前
潇潇完成签到 ，获得积分10
48秒前
Ll完成签到 ，获得积分10
48秒前
唐唐完成签到，获得积分10
48秒前
lili完成签到 ，获得积分10
51秒前
碧蓝巧荷完成签到 ，获得积分10
57秒前
夜话风陵杜完成签到 ，获得积分0
59秒前
Tianling完成签到，获得积分10
1分钟前
wangsai0532完成签到，获得积分10
1分钟前
睡觉王完成签到 ，获得积分10
1分钟前
无趣养乐多完成签到 ，获得积分10
1分钟前
liuyq0501完成签到，获得积分10
1分钟前
btcat完成签到，获得积分10
1分钟前
贰鸟的应助被梦夜孤星采纳，获得20
1分钟前
EE完成签到 ，获得积分10
1分钟前
内向东蒽完成签到 ，获得积分10
1分钟前
孙文杰完成签到 ，获得积分10
1分钟前
优雅含灵完成签到 ，获得积分10
1分钟前
tttt完成签到 ，获得积分10
2分钟前
逝水完成签到 ，获得积分10
2分钟前
2分钟前
drtianyunhong完成签到，获得积分10
2分钟前
bestbanana发布了新的文献求助10
2分钟前
2分钟前
fufufu123完成签到 ，获得积分10
2分钟前
iehaoang完成签到 ，获得积分10
2分钟前
电子屎壳郎完成签到，获得积分10
2分钟前
七子完成签到 ，获得积分10
2分钟前
luoyukejing完成签到，获得积分10
2分钟前
高分求助中
Sustainability in Tides Chemistry 2800
The Young builders of New china : the visit of the delegation of the WFDY to the Chinese People's Republic 1000
Rechtsphilosophie 1000
Bayesian Models of Cognition:Reverse Engineering the Mind 888
Le dégorgement réflexe des Acridiens 800
Defense against predation 800
A Dissection Guide & Atlas to the Rabbit 600
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 3134035
求助须知：如何正确求助？哪些是违规求助？ 2784845
关于积分的说明 7768884
捐赠科研通 2440259
什么是DOI，文献DOI怎么找？ 1297353
科研通“疑难数据库（出版商）”最低求助积分说明 624928
版权声明 600792
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：826996720【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通