Rui Han

PhD student

Group Experience

2021–Present
PhD student

Publications

5 publications

2025

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025Fuqi Jia Yuhang DongRui HanPei Huang Minghao Liu Feifei Ma Jian Zhang
PDF Code

2024

Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023Minghao LiuRui HanFuqi Jia Pei Huang Feifei MaHantao ZhangJian Zhang
Code

2023

ACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023Fuqi JiaRui HanPei Huang Minghao Liu Feifei Ma Jian Zhang
Code
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
ASE 2023Minghao Liu Kunhang Lv Pei HuangRui HanFuqi JiaYu ZhangFeifei Ma Jian Zhang
Code
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi JiaRui HanXutong Ma Baoquan Cui Minghao Liu Pei Huang Feifei Ma Jian Zhang
Code