论文获奖
求解器竞赛获奖
其他竞赛获奖
2024年第30届约束求解会议
最佳论文奖 (Best Paper Award)
2024年第36届国际计算机辅助验证会议
杰出论文奖 (Distinguished Paper Award)
2021年 国际SAT会议
最佳论文奖
2024年 电力国产求解器专题赛
2024年电力国产求解器专题赛 二等奖
2024年 EDA精英挑战赛
2024年集成电路EDA设计精英挑战赛总决赛 全国二等奖
2023年 第六届《强网杯》密码学挑战赛
获得冠军
2022年 EDA设计精英挑战赛
2022年集成电路EDA设计精英挑战赛总决赛 二等奖
2021年 EDA设计精英挑战赛
ATPG赛题（固定CNF编码赛道） 亚军
2024年 国际SAT竞赛
PRS求解器获得云赛道亚军
2023年 国际SAT竞赛
自研PRS求解器获得并行赛道冠军、并行SAT分赛道冠军、并行UNSAT分赛道冠军，以及云计算赛道亚军
2023年 国际SMT竞赛
Z3++包揽整数算术理论赛道全部冠军，总成绩蝉联最大领先冠军和最大贡献冠军
2022年 国际SAT竞赛
kissat-inc求解器获得主赛道亚军及主赛道SAT亚军，parKissat-rs求解器分别获得并行赛道冠军、并行SAT分赛道冠军和并行UNSAT分赛道冠军
2022年 国际SMT竞赛
求解器Z3++获得最大领先奖与最大贡献奖
2021年 国际SAT竞赛
求解器kissat bonus获得UNSAT分赛道亚军, 求解器lstech maple获得SAT分赛道亚军
2020年 国际SAT竞赛
2020年SAT竞赛 Relaxed LCMDCBDL newTech 主赛道SAT冠军与主赛道亚军
2018年 国际SAT竞赛
获得FLoC金牌
2014年 国际SAT竞赛
求解器 CCAnr+glucose 获得连续困难组合问题赛道亚军
2012年 国际SAT竞赛
获得一项最佳求解器奖