[中国，东莞，2020年11月7日] 11月6日，由华为主办的、以“联接、荣耀、未来”为主题的华为ICT大赛2019-2020全球总决赛在华为东莞松山湖基地开幕，受全球疫情影响，本次全球总决赛全程线上举行。来自39个国家和地区的109支队伍、共327名学生将参加实践赛和创新 ...

近日，中国科学院软件研究所计算机科学国家重点实验室研究员蔡少伟团队研发的求解器在SAT Competition 2020中获Main Track SAT冠军。 布尔可满性问题（SAT）是计算机科学的经典问题，也是历史上第一个被证明为NP完全的问题，不仅具有重要的理论研究价值，还在工业 ...

芥末堆 10月20日深圳讯 10月17日，国际机器人比赛FRC（FIRST Robotics Competition）在官网发布公告称，今年9月教育部办公厅印发《关于面向中小学生的全国性竞赛活动管理办法（试行）》，因为审批时间原因，将取消原计划2019年在中国区的比赛，并将于2020年再次举办。

机器人既是先进制造业的关键支撑装备，也是改善人类生活方式的重要切入点。无论是在制造环境下应用的工业机器人，还是在非制造环境下应用的服务机器人，其研发及产业化应用是衡量一个国家科技创新、高端制造发展水平的重要标志。大力发展机器人产业 ...