Abstract:

The Satisfiability (SAT) problem is a core challenge with significant applications in software engineering, including automated testing, configuration management, and program verification. This paper presents SolSearch, a novel framework that harnesses large language models (LLMs) to discover and op...

Key points:

• Research on large language models
• Engineering application

Source: SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation