Bingzhe Zhou

State Key Laboratory of Novel Software Technology , Nanjing University , China

1 paper in the IJCAI proceedings

IJCAI 2025

Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving

with Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma

doi:10.24963/ijcai.2025/887

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings