论文获奖
求解器竞赛获奖
其他竞赛获奖

2023年 第六届《强网杯》密码学挑战赛

获得冠军

2022年 EDA设计精英挑战赛

2022年集成电路EDA设计精英挑战赛总决赛 二等奖

2021年 EDA设计精英挑战赛

ATPG赛题（固定CNF编码赛道） 亚军

2023年 国际SMT竞赛

Z3++求解器获得多项冠军

2022年 国际SAT竞赛

两种自研求解器获得多项冠亚军

2022年 国际SMT竞赛

获得多个最大奖项

2021年 国际SAT竞赛

获得多项冠军

2018年 国际SAT竞赛

获得一项金牌

2014年 国际SAT竞赛

获得一项金牌

2012年 国际SAT竞赛

获得一项最佳求解器奖

2020年 国际SAT竞赛

2020年SAT竞赛 Relaxed LCMDCBDL newTech 主赛道SAT冠军+主赛道亚军

2024年第30届约束求解会议

最佳论文奖 (Best Paper Award)

2024年第36届国际计算机辅助验证会议

杰出论文奖 (Distinguished Paper Award)

2021年 国际SAT会议

最佳论文奖