Zhiwei Ye

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, Zhipeng Lü, Caiquan Xiong, Xinyun Wu

doi:10.24963/ijcai.2026/257

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings