韩瑞
博士研究生
组内经历
2021–至今
博士研究生
论文
2025
2024
Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023CCF CMinghao LiuRui HanFuqi JiaPei HuangFeifei MaHantao ZhangJian Zhang
2023
ACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023CCF AFuqi JiaRui HanPei HuangMinghao LiuFeifei MaJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。