Xinyun Wu

1 paper in the IJCAI proceedings

IJCAI 2026

Bridging LLMs and SAT Solving: Automated Evolution of High-Performance Heuristics

with Mao Luo, Hang Ding, Chu-Min Li, Junjie Zhang, Zhiwei Ye, Zhipeng Lü, Caiquan Xiong

doi:10.24963/ijcai.2026/257

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings