近日，形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果。中国科学院软件研究所计算机科学国家重点实验室蔡少伟研究员与其学生李博涵、张昕荻研发的求解器荣获整数差分逻辑(QF_IDL)组冠军，这是中国团队首次在SMT-COMP比赛中获得冠军。
可满足性模理论问题（简称SMT）是特定背景理论下的一阶逻辑判定问题，是形式化验证的基础引擎。整数差分逻辑理论的SMT可以自然地描述时序相关的问题，广泛应用于时序系统验证，偏序数据结构的硬件模型检测，稳态模型计算。
在SMT-COMP 2021比赛中，QF_IDL组的参赛队伍包括斯坦福大学，爱荷华大学，弗莱堡大学，微软研究院，国际斯坦福研究所，法国国家信息与自动化研究所等国际知名高校及科研院所。蔡少伟团队创新性地设计了结合DPLL(T)和随机搜索方法的混合方法，打破了传统SMT求解器框架，在强数值约束算例中取得显著效果，最终在QF_IDL理论的Single query和Model validation赛道上都取得了第一名的好成绩。
蔡少伟研究员从事约束求解器、EDA核心算法研究，此前多次获得SAT比赛和MaxSAT比赛冠军， 2021年获SAT大赛Main track SAT、UNSAT组亚军，MaxSAT比赛完备组、非完备组冠军，EDA Challenge大赛亚军。相关方法发表在人工智能顶级期刊Artificial Intelligence 以及计算机理论著名会议SAT会议上，题为《Deep Cooperation of CDCL and Local Search for SAT》的论文获SAT 2021会议最佳论文奖。
论文链接：Deep Cooperation of CDCL and Local Search for SAT
报道链接：探索工业软件之魂，板凳要坐十年冷 丨中科院软件所蔡少伟专访
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
蔡少伟团队研发求解器首获SMT国际比赛冠军
本站小编 Free考研考试/2022-01-02
相关话题/研究所 论文 逻辑 软件 国际
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19软件所等提出国际首个完全实用的异步共识算法“小飞象” 区块链核心技术取得重大突破
近日，中国科学院软件研究所张振峰团队与新泽西理工学院唐强团队在区块链核心技术——拜占庭容错（BFT）共识研究中取得突破，提出了首个完全实用的异步共识算法——小飞象拜占庭容错（DumboBFT）算法，该成果《Dumbo: Faster Asynchronous BFT Protocols》发表于网络安 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所四项成果荣获2019年度北京市科学技术奖
在2019年度北京市科技奖励评选中，中国科学院软件研究所参与完成的四项成果获奖。其中，“高安全低功耗嵌入式系统芯片技术及应用”、“航天嵌入式软件可信保障关键技术和应用”两个项目荣获“2019年度北京市科学技术奖一等奖”，“面向物联网大数据的智能服务平台关键技术及应用”、“基于国产基础软硬件的交通行业 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所发布最大零售场景目标检测计数联合任务数据集——Locount
在日常购物时，我们不妨畅想一下未来商超的购物场景：无需结算台，消费者取下产品的同时，商品识别算法就可以完成自动结算；无需货架管理员，智能货架管理技术可以实时动态监测商品数量变化，并自动完成数据分析。实现这种智能化消费方式的核心难点在于解决目标检测计数联合任务领域中的遮挡问题。 近日，中国科学院软件 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所高性能计算团队获中科院“先导杯”并行计算应用大奖赛基础算法一等奖
8月26日，首届中科院“先导杯”并行计算应用大奖赛圆满结束，中国科学院软件研究所并行软件与计算科学实验室高性能计算团队荣获基础算法赛道一等奖。获奖团队由四名研究生组成，分别是：岳星言、张宠、李子薇、曹子健，指导老师为软件所助理研究员孙乔、赵慧，团队历经近五个月的奋战，最终在激烈的角逐中脱颖而出。 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所互联网软件技术实验室博士生刘哲斩获ACM学生研究竞赛研究生组冠军
近日，中国科学院软件研究所互联网软件技术实验室研究员王青指导的博士生刘哲在ACM学生研究竞赛（The ACM Student Research Competition at ASE 2020）荣获研究生组第一名。 该比赛在第35届IEEE/ACM自动化软件工程国际会议（ASE 2020）期间举行， ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所在智能理论研究方面取得进展
近日，软件所智能软件研究中心在人工智能基础理论方面取得进展，在树形神经网络、风格迁移模型、小目标计数具体问题上提出了新的解决方案。相关研究成果发表在人工智能领域国际顶级会议CVPR 2020、ECCV 2020、ACM MM2020上，并受邀完成了线上学术报告，相关代码已经开源，供国内外研究人员参考 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所在上下文感知的众测人员推荐研究方面取得进展
近日，中国科学院软件研究所互联网软件技术实验室团队在上下文感知的众测人员推荐方面取得新进展，研究针对众包测试（简称众测）环境下的资源配置问题，提出了一种能够动态优化人员配置、提升测试效率、加快众测过程、提升众测平台成本效益的众测人员推荐新方法。相关工作以Context-aware In-proces ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所自主研发安捷（Agilor）实时数据库系统
安捷（Agilor）实时数据库系统是由中国科学院软件研究所研发的具有完全自主知识产权的大型分布式实时数据库系统。安捷数据库系统能够通过毫秒级的数据采集、实时规则推理、复杂事件处理和人机智能融合，采集和存储来自各种控制系统和现场总线的设备状态与生产过程数据，实现海量实时数据的高效存储管理，为企业提供集 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所助力贵州区块链技术高质量发展
区块链技术作为数字经济发展的重要基础，受到高度重视。2019年10月24日，中共中央政治局就区块链技术发展现状和趋势进行第十八次集体学习。习近平总书记在主持学习时强调，我们要把区块链作为核心技术自主创新的重要突破口，明确主攻方向，加大投入力度，着力攻克一批关键核心技术，加快推动区块链技术和产业创新发 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所成果荣获2019年度云南省科学技术奖
在2019年度云南省科技奖励评选中，中国科学院软件研究所参与完成的“云南及周边国家边境地区登革热流行特征与防控关键技术研究及应用”项目获云南省科学技术进步奖一等奖。 该项成果完成单位包括云南省寄生虫病防治所、中国医学科学院医学生物学研究所、首都医科大学基础医学院、中国科学院软件研究所、西双版纳傣族 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
