Cai-Quan Xiong

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

Despite decades of intensive research and optimization, modern Boolean Satisfiability (SAT) solvers have reached a plateau where significant performance gains are increasingly difficult to achieve. While Large Language Models (LLMs) have demonstrated remarkable capabilities in pattern recognition and code generation fo...