Rui Han -

Registered user since Sun 13 Jul 2025

Name:Rui Han

Country:China

Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

Contributions

2023

ASE

Author of PSMT: Satisfiability Modulo Theories Meets Probability Distribution within the NIER Track-track
Author of NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization within the Tool Demonstrations-track

ISSTA

Author of Improving Bit-Blasting for Nonlinear Integer Constraints within the Technical Papers-track