今年会jinnianhui-华为云天筹AI求解器获SAT国际算法竞赛并行SAT组冠军

2026-08-04 18:06:19

【CNMO科技动静】近日，约束求解与情势化范畴的国际顶级赛事SAT Competition 2026（可满意性问题国际算法竞赛）落下帷幕。由华为云天筹AI求解器团队、华中科技年夜学John Hopcroft计较中央、华为诺亚方舟试验室所构成的结合团队，得到并行AI赛道SAT组冠军。

华为

据CNMO科技相识，本届赛事吸引了来自全世界顶尖高校及机构的45支步队参赛，其一年夜亮点是初次设立AI赛道，鼓动勉励参赛团队使用AI技能对于求解器举行智能化调优。

根据赛事法则，基在AI调优的求解器只有于机能上跨越最优的非AI求解器才能得到奖项。这象征着，AI不克不及仅作为参数保举或者辅助开发东西，而必需带来真实、可量化、可验证的算法机能晋升。AI赛道的设立象征着赛事从传统的纯算法设计竞赛，迈入了经典算法+AI交融立异的新阶段。

本届赛事的数据集包罗软硬件验证、EDA、暗码学阐发、组合优化等运用范畴的400个高难度问题。天筹AI求解器团队研发的求解器Kissat-MAB-HyPre-Evolve依附于繁杂问题求解能力、并行搜刮效率及算法鲁棒性等方面的综合上风，获并行AI赛道SAT组冠军。

华为云天筹AI求解器获SAT国际算法竞赛并行SAT组冠军

这一成果注解，AI已经经可以或许冲破传统辅助调优的界限，深切介入求解器算法及代码设计，并于全新、未见的数据集上形成不变、可复现的机能增益。

-今年会jinnianhui