成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
Alexey Ignatiev
关注
0
Alexey Ignatiev是里斯本大学理学院信息学(DI)理性实验室的研究员。在此之前是里斯本大学(University of Lisbon) 的博士后研究员,研究与SAT Oracles计算和推理相关的各种课题以及其它许多问题领域。目前研究主要集中在发展和完善高效的SMT-based(可满足性模理论)决策和优化过程中针对各种重要的实际应用人工智能:从软件包升级能力和布尔公式最小化基于模型的诊断(MBD),软件故障定位和可辩解的AI(新品)。
综合
百科
VIP
热门
动态
论文
精华
精品内容
【IJCAI 2019】使用SAT Oracles计算(Computing with SAT Oracles),Joao Marques-Silva,Alexey Ignatiev
专知会员服务
0+阅读 · 2019年8月10日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top