Xiaoxing Ma

1 paper in the IJCAI proceedings

IJCAI 2025

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

with Bingzhe Zhou, Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu

doi:10.24963/ijcai.2025/887

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings