2026
Bridging LLMs and SAT Solving: Automated Evolution of High-Performance Heuristics
IJCAI 2026
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 an