会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
为何“中国差生”到了美国反而更适应？
为何“中国差生”到了美国反而更适应？
钛媒体
0+阅读 · 2018年9月12日
“大脑伟哥”年销超80亿片！坑了无数美国高材生，现在正把魔爪伸向中国...
“大脑伟哥”年销超80亿片！坑了无数美国高材生，现在正把魔爪伸向中国...
凤凰财经
0+阅读 · 2019年3月22日
薛涌：考试机器是怎么炼成的
薛涌：考试机器是怎么炼成的
思想潮
1+阅读 · 2018年12月15日
谷爱凌夺冠创历史！谷歌5号员工公开澄清不是她父亲
谷爱凌夺冠创历史！谷歌5号员工公开澄清不是她父亲
新智元
0+阅读 · 2022年2月9日
做 Python 代码重构，竟发现这些“潜规则”！
做 Python 代码重构，竟发现这些“潜规则”！
CSDN
0+阅读 · 2018年4月6日
相关性的测量与解释 |《别拿相关当因果》
相关性的测量与解释 |《别拿相关当因果》
遇见数学
0+阅读 · 2018年9月1日
大学排名居然是一家快倒闭的二流杂志搞出来的自救项目？
大学排名居然是一家快倒闭的二流杂志搞出来的自救项目？
算法与数学之美
0+阅读 · 2018年11月30日
【MOOC透视】为何这些教育创新形式其兴也勃、其亡也忽？
【MOOC透视】为何这些教育创新形式其兴也勃、其亡也忽？
MOOC
0+阅读 · 2018年5月26日
IJCAI2019：中国接收论文最多，CMU德扑团队获奖，杰出论文公布
IJCAI2019：中国接收论文最多，CMU德扑团队获奖，杰出论文公布
机器之心
1+阅读 · 2019年8月13日
计算机类 | 国际会议截稿信息6条
计算机类 | 国际会议截稿信息6条
Call4Papers
0+阅读 · 2017年12月19日
家庭服务机器人会成为生活中密不可分的一员吗？
家庭服务机器人会成为生活中密不可分的一员吗？
Analysys易观
1+阅读 · 2017年8月12日
耶鲁、斯坦福等名校惊爆招生大丑闻！
耶鲁、斯坦福等名校惊爆招生大丑闻！
商业周刊中文版
0+阅读 · 2019年3月14日
没有他就没有个人电脑！微软二号人物去世
没有他就没有个人电脑！微软二号人物去世
AI前线
0+阅读 · 2018年10月16日
辣妈用中国应试经验教外国娃 帮助5万名学生上名校 课程转介绍率90%
辣妈用中国应试经验教外国娃 帮助5万名学生上名校 课程转介绍率90%
铅笔道
0+阅读 · 2018年8月21日
独家|要砸多少钱才能读哈佛？
独家|要砸多少钱才能读哈佛？
凤凰财经
0+阅读 · 2019年3月14日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top