会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
NP完备破解羊了个羊？
NP完备破解羊了个羊？
新智元
0+阅读 · 2022年10月10日
程序员如何确保软件没 Bug？
程序员如何确保软件没 Bug？
CSDN
0+阅读 · 2022年4月20日
2022级起，MIT恢复新生入学SAT、ACT成绩要求
2022级起，MIT恢复新生入学SAT、ACT成绩要求
机器之心
0+阅读 · 2022年3月29日
视觉模型端侧部署新范式|二值神经网络的落地实践
视觉模型端侧部署新范式|二值神经网络的落地实践
极市平台
0+阅读 · 2022年2月25日
谷爱凌夺冠创历史！谷歌5号员工公开澄清不是她父亲
谷爱凌夺冠创历史！谷歌5号员工公开澄清不是她父亲
新智元
0+阅读 · 2022年2月9日
00后谷爱凌夺金，一年代言收入或超2亿，她成了冬奥会「顶流」
00后谷爱凌夺金，一年代言收入或超2亿，她成了冬奥会「顶流」
36氪
0+阅读 · 2022年2月8日
00后谷爱凌夺金：一年代言收入或超2亿，公主终成天后
00后谷爱凌夺金：一年代言收入或超2亿，公主终成天后
创业邦杂志
0+阅读 · 2022年2月8日
【经典书】计算机科学中的逻辑学:对系统的建模和推理，443页pdf
【经典书】计算机科学中的逻辑学:对系统的建模和推理，443页pdf
专知
0+阅读 · 2021年4月14日
机器学习与组合优化如何结合？这份AAAI2021教程讲述「机器学习组合优化」进展，附240页ppt
机器学习与组合优化如何结合？这份AAAI2021教程讲述「机器学习组合优化」进展，附240页ppt
专知
23+阅读 · 2021年2月16日
你所不知的角落，有人在做没有深度学习的AI
你所不知的角落，有人在做没有深度学习的AI
AI科技评论
0+阅读 · 2020年8月29日
从小玩到大的超级玛丽，计算复杂性是怎样的？
从小玩到大的超级玛丽，计算复杂性是怎样的？
机器之心
0+阅读 · 2020年8月12日
你所不知的角落，有人在做没有深度学习的AI
你所不知的角落，有人在做没有深度学习的AI
学术头条
0+阅读 · 2020年8月2日
人力投入少 10 倍、一年节省五千个工时：苏宁 Web 应用与 Client 应用系统的自动交互实践
人力投入少 10 倍、一年节省五千个工时：苏宁 Web 应用与 Client 应用系统的自动交互实践
InfoQ
0+阅读 · 2020年6月19日
SpaceX正式开启「太空拼车」时代：第九批一箭61颗，起步价仅100万美元
SpaceX正式开启「太空拼车」时代：第九批一箭61颗，起步价仅100万美元
新智元
0+阅读 · 2020年6月14日
目标检测一波接着一波 | YOLOv5又悄悄来袭！（附源码论文链接）
目标检测一波接着一波 | YOLOv5又悄悄来袭！（附源码论文链接）
计算机视觉战队
1+阅读 · 2020年6月2日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top